Issues

Filters

Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated
60 BugNewNormaldisable Check items when test run is active and Check result is used as test purpose?07 Apr 2009 13:43
64 FeatureNewNormalmake tab layout in GUI user-configurable by drag/drop as in Eclipse?24 Apr 2009 14:47
65 BugNewNormalmake Primer/Combinator view buttons obtain LTS when needed25 Apr 2009 11:09
66 BugNewNormalPrimer/Combinator View button may show outdated model?25 Apr 2009 11:12
67 BugNewNormaldo not construct new Model/Primer/Combinator for test run if we already have it View-ed 25 Apr 2009 11:14
68 FeatureNewNormalallow user to cancel View if it takes a long time (infinite model?)25 Apr 2009 11:24
70 FeatureNewNormalallow custom viewers/animators (or general log-monitors?)12 May 2009 09:28
82 BugNewHighstopping test run with real program may end in fail beause program is killed?05 Jun 2009 18:31
83 BugNewNormalstop test run with real program also when program goes away during test run22 May 2009 08:32
84 BugNewNormalfind a way to deal with input-output non-determinism22 May 2009 08:42
85 FeatureNewNormalallow custom state (log?) extractor04 Jun 2009 21:29
90 BugNewNormaliocoChecker seems not able to handle tau loops11 Jun 2009 11:45
95 FeatureNewNormalbe able to continue testing after a pass,miss or pass,hit verdict???11 Jun 2009 12:24
98 BugNewNormalfor windows, it might be better to have separate file open/save dialogs, instead of reusing a single one11 Jun 2009 12:30
99 BugNewNormalit is not possible to increase the size of the message pane11 Jun 2009 12:31
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
101 BugNewNormaldisable all (relevant) buttons when IocoChecker is running11 Jun 2009 14:18
104 FeatureNewNormalbetter way to 'play' multiple utraceChecker results in simulator11 Jun 2009 14:24
106 FeatureNewNormalbe able to highlight omitted individual input actions from utraceChecker result?11 Jun 2009 14:26
107 BugNewNormalin Config Components pane, need to press to many Virew buttons to make things work25 Jan 2010 14:31
108 BugNewNormalthere is no Trace type in AniDOT11 Jun 2009 14:30
110 BugNewNormal(due to asynchonous Progress updates?) progress pane elements are updated out of order11 Jun 2009 14:35
111 BugNewNormalchanging guided simulator file name in sim pane text field has no effect11 Jun 2009 14:36
114 FeatureNewNormalneed to be able to configure working directory in which implementation is to be run11 Jun 2009 15:06
115 FeatureNewNormaladd tiled notebook docking window for anidot11 Jun 2009 15:31

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

Also available in: Atom CSV PDF