Actions
Task #3582
open[core] C++TESK as Explicit-State Model Checker
Start date:
10/13/2012
Due date:
% Done:
0%
Estimated time:
Detected in build:
svn
Published in build:
Description
- Allow scenarios to access the table of user processes
- Allow scenarios to set process execution order at a given point
- Introduce a notion of context-switching point (generalization of the existing notion of CYCLE)
Actions