Sha256: 9a95ad64051708abbea58165d748453f69f0b7e37b90da07df6c5a5989a0a853

Contents?: true

Size: 69 Bytes

Versions: 4

Compression:

Stored size: 69 Bytes

Contents

\*
procedure stmt_assert( id_type ) {

  assert( x = id_type );

}


Version data entries

4 entries across 4 versions & 1 rubygems

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