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: 9e894bf971a914a03605d78ba5db29e25bbd35dd (plain)

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