summaryrefslogtreecommitdiff
path: root/Test/houdini/test9.bpl.expect
blob: 10f094b017ccc59295b7d18250b9120bd2f8332c (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
Assignment computed by Houdini:
b1 = False
b2 = False
b3 = False
b4 = True
b5 = False
b6 = True
b7 = False
b8 = False
b9 = False
b10 = True
b11 = False
b12 = True
b13 = False
b14 = False
b15 = False
b16 = False

Boogie program verifier finished with 5 verified, 0 errors