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