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

1
2
3

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

Boogie program verifier finished with 3 verified, 0 errors