Issues

Filters

Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated
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

« Previous 1 2 3 4 Next » (26-50/81) | Per page: 25, 50, 100

Also available in: Atom CSV PDF