AssumptionVariables1.bpl.expect « test1 « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/test1/AssumptionVariables1.bpl.expect

blob: badc18b343f3cc8ba38929dd58a349569a695945 (plain)

1 2	`AssumptionVariables1.bpl(5,22): Error: assumption variable must be of type 'bool' 1 type checking errors detected in AssumptionVariables1.bpl`