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