Sha256: b99361907c9f15c4125513b0bc70998cce45449794e45c13de23d666862526c1

Contents?: true

Size: 67 Bytes

Versions: 4

Compression:

Stored size: 67 Bytes

Contents

ASSUME Assume_Domains

ASSUME a2 a3

INVARIANT i1

INVARIANT i2 i3

Version data entries

4 entries across 4 versions & 1 rubygems

Version Path
tla-parser-s-0.2.5 spec/fixtures/directives.tla
tla-parser-s-0.2.2 spec/fixtures/directives.tla
tla-parser-s-0.1.2 spec/fixtures/directives.tla
tla-parser-s-0.1.0 spec/fixtures/directives.tla