Sha256: 85948cc51a62fefc2a15b5424e34bb24d45c7fcdb4dac09a525a43216cf00713

Contents?: true

Size: 111 Bytes

Versions: 7

Compression:

Stored size: 111 Bytes

Contents

\* pet.id is unique

UniquePet == \A pet1  \in v_pets:  \A pet2 \in v_pets:   pet1.id = pet2.id => pet1 = pet2

Version data entries

7 entries across 7 versions & 1 rubygems

Version Path
tla-sbuilder-0.3.9 src/pet/correctness_unique_pet.tla
tla-sbuilder-0.3.8 src/pet/correctness_unique_pet.tla
tla-sbuilder-0.3.7 src/pet/correctness_unique_pet.tla
tla-sbuilder-0.3.4 src/pet/correctness_unique_pet.tla
tla-sbuilder-0.2.2 src/pet/correctness_unique_pet.tla
tla-sbuilder-0.2.1 src/pet/correctness_unique_pet.tla
tla-sbuilder-0.1.0 src/pet/correctness_unique_pet.tla