bv3.bpl.expect « bitvectors « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/bitvectors/bv3.bpl.expect

blob: 7ad8bc3597e0b9884d6dba88e33c0cea2875705f (plain)

1 2	`bv3.bpl(4,5): Error: type name: bv16 is registered for bitvectors 1 name resolution errors detected in bv3.bpl`