Issues

Filters

Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated
744 BugFeedbackNormalanidot does not work on 64-bit unix (linux) -- solution: install 32-bit library of libjpeg.so.6227 Jun 2014 12:07
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
618 BugNewNormalWhen instantiation (via Use instantiation button) fails "Use instantiation" button becomes disabled and no error is reported08 Jun 2012 16:29
586 BugNewNormalJTorX does not start on windows (because the test to detect 32/64bit does not work as intended?)30 Mar 2012 11:23
585 BugNewNormalJTorX does not start on mac os x (10.6.8) (because: sed not found in JavaApplicationStub script)30 Mar 2012 11:20
583 BugFeedbackNormalJTorX can only see initial state of graphml file produced with recent yEd when it has node label 128 Mar 2012 00:23
582 BugFeedbackUrgentJTorX cannot read graphml files produced by recent version of yEd09 Mar 2012 02:15
580 BugFeedbackNormala newline at the end of textfield of input actions and output actions is not ignored 12 Mar 2012 11:37
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
578 BugNewNormalJTorX crashes when reading empty line from program that communicates using labels05 Oct 2013 14:34
566 BugNewNormalwhile test run still goes on in automatic mode, the Auto/Stop button (in 'next test step' pane) becomes 'Auto' and disabled09 Feb 2012 17:42
563 BugNewNormal Exception in thread "Testgui-handleAutoRunStartEvent" (java.lang.OutOfMemoryError: Java heap space) 23 Jan 2012 10:09
551 BugFeedbackNormaluse of || in conditions of an STS may lead to incorrect test steps in menu26 Oct 2011 13:47
550 BugNewNormalsimulation of primer (suspension automaton) of STS: determinization is not used when one action label enables multiple actions from current menu07 Sep 2011 10:04
549 BugFeedbackNormalvisualization of STS does not highlight multiple switches between two locations26 Oct 2011 13:48
548 BugNewNormalJTorX crashes when invoked with incompletely specified guide05 Sep 2011 15:04
547 FeatureFeedbackNormalallow use of separate seed for Random number generator of model simulator26 Oct 2011 13:51
546 BugFeedbackNormalMac OS 10.7 (Lion): Automaton visualizations do not work (jtorx-1.8.0)24 Jul 2011 22:38
527 FeatureNewNormaladd option to visualize as QTS (transform LTS to QTS before visualization)07 Apr 2011 11:56
461 BugFeedbackNormalXML import failes when there is an empty <restriction> element21 Jan 2011 17:53
460 FeatureNewNormalShow STSimulator Errors in JTorX21 Jan 2011 12:58
448 BugFeedbackNormalconfusing error message when instantiating already instantiated item21 Jan 2011 17:55
447 BugNewNormal"Instantiations" text field is hidden07 Dec 2010 17:47
370 BugFeedbackNormal"Use Instantiation" button is always enabled21 Jan 2011 17:57
359 BugNewNormalinstantiator keeps running (is not stopped) when test run ends16 May 2010 23:42
324 BugNewNormalin anidot the 'sticky' green trail of traversed edges is lost when the graph is extended04 May 2010 14:20
323 BugNewNormalon windows xp anidot and animsc may not work31 Mar 2010 16:11
322 BugNewNormalin anidot changing shown step can be slow, when nr of steps difference is large05 Apr 2010 13:46
320 BugNewNormalJTorX gets suspended (hangs) when visualization is not fast enough31 Mar 2010 15:30
297 BugFeedbackNormalno way to switch off Model visualization for simulator21 Jan 2011 18:00
286 FeatureNewNormalvisualize potential next test step?08 Feb 2010 10:22
282 BugNewNormalJTorX 1.3.0 may hang (at least on Mac) when clicking delete button (not only when a run is active)28 Jan 2010 17:10
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
222 BugNewNormalJTorX animation viewers do not work on Mac OS X 10.627 Jan 2010 22:02
221 BugNewNormalJTorX cannot start Java program as sut on windows 726 Nov 2009 20:56
214 BugNewNormalJTorX 1.2.0 crashes when .jrrc file contains syntax error10 Nov 2009 23:00
211 BugNewNormalneed better cleanup (garbage collection) of LTSes (stop superflous torx explorers asap)10 Nov 2009 16:36
210 BugNewNormalJTorx (1.2.0 and earlier?) crashes when we close window during active test run10 Nov 2009 16:08
208 FeatureAssignedNormaladd built-in support for formalisms like mcrl2, mucrl, jararaca, with adjustable preferences10 Nov 2009 17:49
189 BugNewNormalJtorX (1.1.1) crashes when torx-explorer program does not work10 Nov 2009 17:54
160 BugNewNormalanidot does not work on a mac, unless development tools are installed (needs /usr/lib/libltdl.3.dylib)20 Aug 2009 15:04
146 BugNewNormalon mac, when using SWT 3.5 cocoa version, we seem to loose quit some speed in progress bars28 Jun 2009 23:08
144 BugNewNormalJTorX crashes when we close (quit) JTorX while a guided simulation run is active25 Jun 2009 23:15
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
133 BugNewNormalNicer to remember separate directories for spec and impl (in browse).19 Jun 2009 12:30
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
118 BugNewNormalthere is no checking that a .log file contains a (J)TorX log11 Jun 2009 15:46
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
111 BugNewNormalchanging guided simulator file name in sim pane text field has no effect11 Jun 2009 14:36
110 BugNewNormal(due to asynchonous Progress updates?) progress pane elements are updated out of order11 Jun 2009 14:35
108 BugNewNormalthere is no Trace type in AniDOT11 Jun 2009 14:30
107 BugNewNormalin Config Components pane, need to press to many Virew buttons to make things work25 Jan 2010 14:31
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
101 BugNewNormaldisable all (relevant) buttons when IocoChecker is running11 Jun 2009 14:18
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
99 BugNewNormalit is not possible to increase the size of the message pane11 Jun 2009 12:31
98 BugNewNormalfor windows, it might be better to have separate file open/save dialogs, instead of reusing a single one11 Jun 2009 12:30
95 FeatureNewNormalbe able to continue testing after a pass,miss or pass,hit verdict???11 Jun 2009 12:24
90 BugNewNormaliocoChecker seems not able to handle tau loops11 Jun 2009 11:45
85 FeatureNewNormalallow custom state (log?) extractor04 Jun 2009 21:29
84 BugNewNormalfind a way to deal with input-output non-determinism22 May 2009 08:42
83 BugNewNormalstop test run with real program also when program goes away during test run22 May 2009 08:32
82 BugNewHighstopping test run with real program may end in fail beause program is killed?05 Jun 2009 18:31
70 FeatureNewNormalallow custom viewers/animators (or general log-monitors?)12 May 2009 09:28
68 FeatureNewNormalallow user to cancel View if it takes a long time (infinite model?)25 Apr 2009 11:24
67 BugNewNormaldo not construct new Model/Primer/Combinator for test run if we already have it View-ed 25 Apr 2009 11:14
66 BugNewNormalPrimer/Combinator View button may show outdated model?25 Apr 2009 11:12
65 BugNewNormalmake Primer/Combinator view buttons obtain LTS when needed25 Apr 2009 11:09
64 FeatureNewNormalmake tab layout in GUI user-configurable by drag/drop as in Eclipse?24 Apr 2009 14:47
60 BugNewNormaldisable Check items when test run is active and Check result is used as test purpose?07 Apr 2009 13:43

(1-81/81) | Per page: 25, 50, 100

Also available in: Atom CSV PDF