All open issues

Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated Target version % Done
744 BugFeedbackNormalanidot does not work on 64-bit unix (linux) -- solution: install 32-bit library of 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:231.9.2

582 BugFeedbackUrgentJTorX cannot read graphml files produced by recent version of yEd09 Mar 2012 02:151.9.1

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:471.9.0

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:481.9.0

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:511.9.0

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:531.7.1

460 FeatureNewNormalShow STSimulator Errors in JTorX21 Jan 2011 12:58

448 BugFeedbackNormalconfusing error message when instantiating already instantiated item21 Jan 2011 17:551.7.1

447 BugNewNormal"Instantiations" text field is hidden07 Dec 2010 17:47

370 BugFeedbackNormal"Use Instantiation" button is always enabled21 Jan 2011 17:571.7.1

359 BugNewNormalinstantiator keeps running (is not stopped) when test run ends16 May 2010 23:42

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

Also available in: Atom CSV PDF