summaryrefslogtreecommitdiff
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