Sign in
go
/
proposal
/
0be13090fdb0cbae0d71641bb676d924bc1c94de
/
.
/
design
/
68578
/
spinbit.cfg
blob: d6dc6ebbc0f17e4a6b30bb29e1d7d38d4de5d67e [
file
]
SPECIFICATION
Spec
INVARIANT
TypeInvariant
PROPERTY
NoLostWakeups
PROPERTY
HaveAcquisitions
CONSTANT
NULL
=
NULL
NumThreads
=
3
NumAcquires
=
1
NumSpins
=
0
WakeAny
=
TRUE
