We're updating the issue view to help you get more done. 

Replaying long model checking counter examples takes some time

Description

Replaying a counter example for this machine takes about 20 seconds (on Tcl/Tk it is instantaneous):
MACHINE CountToMAXINT_Inv_Cst
CONSTANTS mx, valid
PROPERTIES mx = 10000 & valid = {0,1,mx}
VARIABLES cc
INVARIANT cc:0..mx
INITIALISATION cc:=0
OPERATIONS
Inc = BEGIN cc:=cc+1 END
END

Status

Assignee

Unassigned

Reporter

Michael Leuschel

Labels

None

Priority

Major