9 lines
No EOL
136 B
INI
9 lines
No EOL
136 B
INI
SPECIFICATION Spec
|
|
|
|
CONSTANT N = 13 \* Try with different values (2, 3, 4, etc.)
|
|
|
|
INVARIANT TypeOK
|
|
|
|
PROPERTY Mutex
|
|
|
|
CHECK_DEADLOCK TRUE |