# Generated by run.sh to prove each spec discriminates — do not commit.
*Broken.tla
*Broken.cfg
# Per-invariant override cfgs written by run.sh (e.g. .PidLockBroken.Foo.cfg).
.*.cfg
# pcal.trans backup + TLC scratch output.
*.old
states/
