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

summary refs log tree commit diff

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

blob: 3ce36f9cce26f4221c8c6958c9c282ebf21a7bc3 (plain)

Assignment computed by Houdini:
b0 = True
b1 = False
b2 = False

Boogie program verifier finished with 4 verified, 0 errors