All resolved issues
Bug #62: tcldot.so inside anidot.kit does not want to load on x86_64
Support #130: Cannot get stdio adapter running. What to specify as IUT program?
Support #137: where to specify tcp connection parameters?
Bug #328: the .aut writer mixed up #states/#trans fields in des line
Bug #540: default file type for saved log is wrong (.aut instead of .log)
Bug #561: ntpd time reset -n.m may disrupt a test run, causing erroneous fail verdict
Bug #562: the code that is meant to detect stimulate-observe races may cause a single interaction to appear twice in the test log (and erroneous verdicts)
Bug #645: JTorX cannot handle very short filenames
Bug #96: on windows, the iocoChecker run out of memory when testing fwgc/s4 against itself
Bug #251: label comparison inconsistent: case-insensitive for Test, case-sensitive for icocoChecker (there's more)
Bug #119: for .aut files nrs of states and transitions of des line is not checked
Bug #143: tree/table headers are unaffected by font changes, at least on mac (due to swt implementation)
Feature #254: make it harder to by-accident delete a log pane - only allow deletion of non-active ones?
Bug #277: out-of-memory exception when trying to Save a large Log
Bug #292: animation of prefab (.gv) guidance automaton does not work for .jrrc files
Bug #293: timed test run terminates with uncaught java exception
Bug #296: simulation does not work for 'symbolic' models
|« Previous||Next »|