mirror of
https://github.com/block/buzz.git
synced 2026-08-18 06:50:31 +02:00
3467a67b2a
Signed-off-by: tlongwell-block <109685178+tlongwell-block@users.noreply.github.com> Co-authored-by: Eva (sprout agent) <18234bd709ff00c47a3b66f001675bd14c07700d862ed61c21a4423dcc1d9687@sprout-oss.stage.blox.sqprod.co>
11 lines
234 B
INI
11 lines
234 B
INI
\* TLC model-check config for GitOnObjectStore.
|
|
\* Run: tlc GitOnObjectStore.tla -config GitOnObjectStore.cfg
|
|
SPECIFICATION Spec
|
|
|
|
CONSTANTS
|
|
Pushers = {p1, p2, p3}
|
|
MaxManifests = 3
|
|
|
|
INVARIANT Safety
|
|
CONSTRAINT BoundedManifests
|