Closed Features

Zoom in Zoom out

months from Apply Clear

Feature #23: allow tests to be input-enabled
Feature #24: be able to specify adapter parameters
Feature #58: add font size control (eg for demos)
Feature #57: make it easier to use arbitrary (cycle-free) LTS as guidance information
Feature #69: add Simulation tab(s)
Feature #71: add posibility to save test run log file
Feature #74: add adapter that communictes labels over tcp
Feature #86: capture concrete adapter interaction in log
Feature #72: add a way to View (visualize) the difference reported by iocoChecker
Feature #73: show iocoChecker out(spec/impl after trace) set difference in results table?
Feature #92: it would be nice to see iocoChecker failure traces as soon as they are found
Feature #93: it could be nice if we can ask iocoChecker to only look for the first failure
Feature #105: be able to save utraceChecker result trace?
Feature #179: option to apply angelic completion to model?
Feature #212: support use of user/tool-contributed graphviz (dot) file for torx-explorer animation
Feature #112: extend anidot multicast to allow tree selection
Feature #254: make it harder to by-accident delete a log pane - only allow deletion of non-active ones?
Feature #547: allow use of separate seed for Random number generator of model simulator
 
JTorX
0.99 100%
Closed 100%
Closed 100%
Closed 100%
1.0.0 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
1.3.0 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
Closed 100%
1.1.0 100%
Closed 100%
1.4.0 100%
Resolved 100%
1.9.0 100%
Feedback 100%
 
« Previous Next »

Also available in: PDF PNG