path: root/Test/test2/OldIllegal.bpl.expect

OldIllegal.bpl(9,11): Error: old expressions allowed only in two-state contexts
OldIllegal.bpl(16,23): Error: old expressions allowed only in two-state contexts
2 name resolution errors detected in OldIllegal.bpl