unnecessaryassumes1.bpl.expect « unnecessaryassumes « Test - debian-boogie - Debian packaging for Boogie

summary refs log tree commit diff

path: root/Test/unnecessaryassumes/unnecessaryassumes1.bpl.expect

blob: 0d3aeca22b2dcf4823d6d801133fd224ff4a4cc7 (plain)

1
2
3

Necessary assume command(s): s0, s2, s3

Boogie program verifier finished with 3 verified, 0 errors