Contents

INVARIANT ValidatePets
INVARIANT UniquePet
INVARIANT UniqueTag
INVARIANT ValidReferecendTag
INVARIANT CoherentOwnerAddress

\* Type invariants
INVARIANT Pets_TypeInvariant
INVARIANT Tags_TypeInvariant

Version data entries

1 entries across 1 versions & 1 rubygems

Version	Path
tla-sbuilder-0.1.0	src/pet/correctness.cfg