BadQuantifier.bpl.expect « test0 « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/test0/BadQuantifier.bpl.expect

blob: bf16fef707c854dbc599414fbe2653ac34f29cfa (plain)

1 2	`BadQuantifier.bpl(5,15): error: invalid QuantifierBody 1 parse errors detected in BadQuantifier.bpl`