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

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

Also available in: Atom CSV PDF