Issues

Filters

Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated
644 FeatureNewNormalwhen JTorX test run start-up takes too long, because of visualization, suggest user to disable visualization (e.g. in pop-up)06 Nov 2013 12:46
579 FeatureNewNormalallow user to select display of long or short node labels in automata eg for suspension automaton or testrun (and use tooltips for long labels?)02 Mar 2012 13:55
547 FeatureFeedbackNormalallow use of separate seed for Random number generator of model simulator26 Oct 2011 13:51
527 FeatureNewNormaladd option to visualize as QTS (transform LTS to QTS before visualization)07 Apr 2011 11:56
460 FeatureNewNormalShow STSimulator Errors in JTorX21 Jan 2011 12:58
286 FeatureNewNormalvisualize potential next test step?08 Feb 2010 10:22
280 FeatureNewNormalallow saving and loading of a configuration26 Jan 2010 22:57
255 FeatureNewNormalrecognize LOG keyword on stdout or stderr of e.g. TorXExplorer, to append lines to Log16 Dec 2009 12:56
250 FeatureNewNormallabel comparison toggle: case sensitive/insensitive - to affect Test, icocoChecker, utracesChecker09 Dec 2009 22:31
244 FeatureNewNormalbe able to step through a finished test run, and for each step see menu of inputs and outputs03 Dec 2009 16:43
208 FeatureAssignedNormaladd built-in support for formalisms like mcrl2, mucrl, jararaca, with adjustable preferences10 Nov 2009 17:49
139 FeatureNewNormalkeep track (over test runs?) where we have been, and steer test run to unexplored states/transitions19 Jun 2009 12:45
138 FeatureNewNormaladd visualization of model or susp aut that shows coverage of automaton19 Jun 2009 12:40
127 FeatureNewNormalhave a clone-like button that gives a birds-eye view of the graph?17 Jun 2009 10:55
126 FeatureNewNormalin anidot , let the window scroll automatically to show the highlighted node(s)17 Jun 2009 10:53
123 FeatureNewNormaladd heuristics to dot writer to break long state/transition labels into multiple lines16 Jun 2009 11:21
121 FeatureNewNormalchange log-LTS to use adapter states/transitions? to be able to have (eg) also impl state?12 Jun 2009 18:29
120 FeatureNewNormalshow pending observations in the gui?12 Jun 2009 18:26
117 FeatureNewNormalsuggest/give/add default file suffix when saving something to file11 Jun 2009 15:45
115 FeatureNewNormaladd tiled notebook docking window for anidot11 Jun 2009 15:31
114 FeatureNewNormalneed to be able to configure working directory in which implementation is to be run11 Jun 2009 15:06
106 FeatureNewNormalbe able to highlight omitted individual input actions from utraceChecker result?11 Jun 2009 14:26
104 FeatureNewNormalbetter way to 'play' multiple utraceChecker results in simulator11 Jun 2009 14:24
100 FeatureNewNormalif we only have a single ioco/utrace-checker trace result, does it need to be selected to be used?11 Jun 2009 12:33
95 FeatureNewNormalbe able to continue testing after a pass,miss or pass,hit verdict???11 Jun 2009 12:24

1 2 Next ยป (1-25/29) | Per page: 25, 50

Also available in: Atom CSV PDF