Sha256: dd81284409a6bdb95c2c6bc1ef674c28a715424428e2918934384481c731a822

Contents?: true

Size: 210 Bytes

Versions: 6

Compression:

Stored size: 210 Bytes

Contents

(* 

INVARIANT ValidatePets
INVARIANT UniquePet
INVARIANT UniqueTag
INVARIANT ValidReferecendTag
INVARIANT CoherentOwnerAddress

\* Type invariants
INVARIANT Pets_TypeInvariant
INVARIANT Tags_TypeInvariant

*)

Version data entries

6 entries across 6 versions & 1 rubygems

Version Path
tla-sbuilder-0.3.9 src/pet/correctness.cfg
tla-sbuilder-0.3.8 src/pet/correctness.cfg
tla-sbuilder-0.3.7 src/pet/correctness.cfg
tla-sbuilder-0.3.4 src/pet/correctness.cfg
tla-sbuilder-0.2.2 src/pet/correctness.cfg
tla-sbuilder-0.2.1 src/pet/correctness.cfg