JTorX v1.11.0

Added by Axel Belinfante over 6 years ago

Changes w.r.t. JTorX v1.10.0-beta8:

New features:
  • added option to synthesize delta labels for states on tau-loops
  • added option to extend this by cloning states on tau-loops, where the clones have neither output nor internal actions
  • add special case for infinite guidance information
  • angelic completion button is now hidden
  • added tool tips to most GUI items
  • added support to use Graphml edge label position info in automaton visualisation (by default disabled, because it does not look nice, obviously we are missing something)
  • added Settings pane (where we now only have an option to enable use of edge label position information)
  • add torx-explorer timing information to the test run log
Bug fixes:
  • avoid printing stack traces in some situations
  • made automaton visualisation work on Mac OS X (mountain) lion and mavericks
  • in non-gui mode, do not print first menu of possible stimuli and expected responses
  • when translating LOTOS-style labels, ignore whitespace
  • deal with whitespace in labels in graphml(?)
  • make finding of start-state in graphml file work (again?) in certain situations(?)
  • recognize when a (symbolic) torx-explorer indicates that it is not able to determine whether a guard can be satisfied
  • when quiescence is observed, and for one or more output actions, satisfiability of the guard could not be determined, the guard(s) is/are incorporated in the test run log, and a conditional verdict is given at the end of the run
  • dialog box for saving an LTS now has a relevant set of file suffixes
  • reduced font size in automaton visualisation on linux, so it is now better readable
  • changed 'run' numbers to start at 1 (instead of 0) (shown in experimental coverage info), so run numbers coincide with numbers on Log... tabs
  • for Mac OS X mavericks: fix the left-most progress bar to not continuously show 'activity in progress'