All closed issues

Apply Clear

Toggle_check # Tracker Status Priority Subject Assignee Updated Target version
643 BugClosedNormalMac OS X 10.8 (Mountain Lion): Automaton visualizations do not work19 Sep 2012 12:02
321 BugClosedNormalStimulate button does not use selected stimulus (but always randomly selectes stimulus)26 Apr 2010 14:471.4.2
274 BugClosedNormalno msc is shown for a test run if spec-impl name contains 'funny' characters (1.2.0 and earlier?)20 Jan 2010 14:031.3.0
271 BugClosedNormaliocoChecker results are not sorted by increasing trace length18 Jan 2010 10:281.3.0
270 BugClosedNormaluncaught out-of-memory error in IocoCheckerWrapper.getFailuresAsTestPurposes18 Jan 2010 10:281.3.0
247 BugClosedNormalApplication Error: invalid command name "dotnew"09 Dec 2009 22:251.3.0
213 BugClosedNormalJTorX 1.2.0 never hits a test purpose given as a .tp test purpose file20 Jan 2010 11:571.3.0
212 FeatureClosedNormalsupport use of user/tool-contributed graphviz (dot) file for torx-explorer animation30 Nov 2009 11:121.3.0
200 BugClosedNormaljtorx (1.1.1) is unable to connect to running anidot and animsc on windows vista10 Nov 2009 16:491.2.0
184 BugClosedNormal(su)traces selection box is not disabled during test run13 Oct 2009 23:461.2.0
179 FeatureClosedNormaloption to apply angelic completion to model?19 Jan 2010 11:421.3.0
147 BugClosedNormalsecond start of TorXExplorer (.tx) Model or Impl does not work (and JTorX crashes)30 Jun 2009 14:391.1.1
145 BugClosedLowcan't appear "Next test step(s):" in small screen, can't continue tests28 Jun 2009 22:251.1.0
142 BugClosedNormalwhen we close JTorX before animation servers have started, these servers are not cleaned up24 Jun 2009 16:111.1.0
141 BugClosedNormalwhen fonts are made bigger, items in e.g. Config pane become obscured24 Jun 2009 17:561.1.0
140 BugClosedNormalin simulation path pane same initial trace gets written again and again when we press right-arrow25 Jun 2009 23:181.1.0
136 BugClosedNormalwhat is iocheck with a real implementation? Should be disabled?23 Jun 2009 14:261.1.0
135 BugClosedNormalUtracesCheck: of spec or impl?24 Jun 2009 22:061.1.0
134 BugClosedNormalmake font bigger/smaller leads to something unreadable, in both cases.24 Jun 2009 21:371.1.0
132 BugClosedNormaliocoChecker uses wrong relation name in result report when using Utraces23 Jun 2009 21:491.1.0
131 BugClosedNormalsometimes killing lts pictures causes error messages: can not find channel named "sock3712"24 Jun 2009 09:241.1.0
129 BugClosedNormalguided simulation trace start highlight only highlights initial transition, not initial node23 Jun 2009 10:061.1.0
128 BugClosedNormal(guided) simulation anidot window titles are confusing and/or less informative than they could be18 Jan 2010 10:441.3.0
124 BugClosedNormalafter stop-ping a simulation run, we can still expand the simulation tree17 Jun 2009 14:251.1.0
122 BugClosedNormalallow adaptsim tests to be input enabled18 Jan 2010 10:421.3.0

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

Also available in: Atom CSV PDF