globalmc: DEPRECATED option for old modelchecking algorithm
localmc;
Notes
Sets a toggle so that if you use the old modelchecking algorithm, command
checkpropold, the CWB will generate the transition graph up front.
See also
checkpropold
Edinburgh Concurrency Workbench (v7.1).
Page generated: Sun Jul 18 11:46:51 BST 1999