Module Expr Str Assign NameStore ListLoad 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 
Marquee graphics and domains tests

Generate the same *FSM.py and *.svg as test_graphics in this sample,
but this script is shorter because it uses pmv instead of pma + pmg + dot
 N/A cases N/A N/A Explore Marquee with default domains pmv Marquee N/A Explore Marquee with modified domains, allow Load at any time pmv DisplayFive Marquee N/A Same as above, but reverse argument order of module and configuration pmv -o DisplayFiveFSM1 Marquee DisplayFive N/A Generate graphics commands from scenario FSM used for composition pmv LoadFirst N/A Explore with modified domains, with scenario that allows initial Load only pmv -o PeriodFiveFSM Marquee DisplayFive LoadFirst N/A Ditto, change argument order pmv -o PeriodFiveFSM1 LoadFirst Marquee DisplayFive N/A Change argument order again pmv -o PeriodFiveFSM2 DisplayFive Marquee LoadFirst