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