Module Assign NameStore ListLoad TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str TupleLoad Str Str
N/A N/A cases N/A N/A Execute ABP FSM, default RandomStrategy, initial action repeats, subsequent actions can repeat more than 2x pmt -s 9 -n 10 ABP N/A Execute ABP FSM, ActionNameCoverage strategy, initial action does not repeat, subsequent actions do not repeat more than 2x pmt -s 9 -g ActionNameCoverage -n 10 ABP N/A Same as above, except add -c for cleanup to end in accepting state pmt -s 9 -g ActionNameCoverage -n 10 -c 3 ABP N/A Execute ABP FSM, ActionNameCoverage strategy, initial action does not repeat, subsequent actions do not repeat more than 2x pmt -s 4 -g ActionNameCoverage -n 10 -c 3 ABP N/A Use -r option for multiple runs, notice each run starts from initial state pmt -s 1 -n 5 -c 3 -r 3 ABP