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
 
 
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
1
2
3
4
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