Method | Description | |
---|---|---|
AllTests ( string spec, int inArcs, int outArcs, int numInhibitors ) : void | ||
RunFullTestCase ( string spec, int inArcs, int outArcs, int numInhibitors ) : void | ||
TestMarkingNotation ( string spec, string serialisedMarking ) : void |