Module Expr Str Assign NameStore ListLoad TupleLoad Str Str
N/A N/A 
test_msgsize - exercise deterministic msocket stepper_d with large messages
 N/A cases N/A N/A Exercise the deterministic socket stepper with some very large messages
to reveal its limitations: this stepper fails some behaviors allowed by the model.
 The first two test runs are supposed to fail. ... pmt msgsizes -i stepper_d all_observables -q -t 5