18 lines
376 B
INI
18 lines
376 B
INI
PROPERTY Termination
|
|
\* Add statements after this line.
|
|
|
|
SPECIFICATION Spec
|
|
|
|
\*INIT Init
|
|
\*NEXT Next
|
|
|
|
(**********************************************)
|
|
(* Specify the values of declared constants. *)
|
|
(**********************************************)
|
|
CONSTANT N = 5
|
|
CONSTANT defaultInitValue = 0
|
|
CHECK_DEADLOCK TRUE
|
|
|
|
CONSTRAINT InOrder
|
|
\*CONSTRAINT NotPrimePair
|
|
CONSTRAINT Odds
|