summaryrefslogtreecommitdiff
path: root/Test/houdini/test1.bpl.expect
blob: 3ce36f9cce26f4221c8c6958c9c282ebf21a7bc3 (plain)
1
2
3
4
5
6
Assignment computed by Houdini:
b0 = True
b1 = False
b2 = False

Boogie program verifier finished with 4 verified, 0 errors