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

summary refs log tree commit diff

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

blob: ab1318bd398ebe7c74e314952c50f4c5a90923f3 (plain)

1 2	`SeparateVerification0.bpl(19,6): Error: undeclared identifier: y 1 name resolution errors detected in SeparateVerification0.bpl`