Module Assign NameStore ListLoad TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str
N/A N/A cases N/A N/A Scenarios module with three runs, by itself pma Scenarios N/A Generate Dot pmg ScenariosFSM N/A Generate SVG dotsvg ScenariosFSM N/A Scenarios module, compose with Stack model, last three runs not allowed pma -o ValidateScenarios Scenarios Stack N/A Generate Dot pmg ValidateScenarios N/A Generate SVG dotsvg ValidateScenarios N/A Scenarios, compose with Stack, Push is observable pma -o ValidateObservables Scenarios Stack Observables N/A Generate Dot pmg ValidateObservables N/A Generate SVG dotsvg ValidateObservables N/A Scenarios, compose with Stack, Push and Pop are observable pma -o ValidateAllObservables Scenarios Stack AllObservables N/A Generate Dot pmg ValidateAllObservables N/A Generate SVG dotsvg ValidateAllObservables