Sha256: 13f0030b89b9b504d9fed0906cffb486c604119d0af1ef95067b3c05fda3e61b

Contents?: true

Size: 92 Bytes

Versions: 7

Compression:

Stored size: 92 Bytes

Contents

\* Return pet in pestore

PetStore_GetPetByTag( tag ) == { pet \in v_pets: pet.tag = tag }

Version data entries

7 entries across 7 versions & 1 rubygems

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