21 Jan 2010
— 0 open)
: iocoChecker can not be stopped once it has started
: on windows, the iocoChecker run out of memory when testing fwgc/s4 against itself
: iocoChecker takes too long, and also preparing results for showing may take long time
: simulator control pane lacks Browse, and way to select end of simulation trace
: allow adaptsim tests to be input enabled
: (guided) simulation anidot window titles are confusing and/or less informative than they could be
: JTorX 1.2.0 never hits a test purpose given as a .tp test purpose file
: Application Error: invalid command name "dotnew"
: label comparison inconsistent: case-insensitive for Test, case-sensitive for icocoChecker (there's more)
: uncaught out-of-memory error in IocoCheckerWrapper.getFailuresAsTestPurposes
: iocoChecker results are not sorted by increasing trace length
: no msc is shown for a test run if spec-impl name contains 'funny' characters (1.2.0 and earlier?)
: add a way to View (visualize) the difference reported by iocoChecker
: show iocoChecker out(spec/impl after trace) set difference in results table?
: it would be nice to see iocoChecker failure traces as soon as they are found
: it could be nice if we can ask iocoChecker to only look for the first failure
: be able to save utraceChecker result trace?
: option to apply angelic completion to model?
: support use of user/tool-contributed graphviz (dot) file for torx-explorer animation
BitNami Redmine Stack
© 2006-2012 Jean-Philippe Lang