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

summary refs log tree commit diff

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

blob: 8844489d6f772c4f745ca2cf7d8f0dbed230fd4d (plain)

1 2	`Orderings.bpl(8,19): Error: parent of constant has incompatible type (int instead of C) 1 type checking errors detected in Orderings.bpl`