diff options
author | 2011-12-18 22:09:07 -0800 | |
---|---|---|
committer | 2011-12-18 22:09:07 -0800 | |
commit | 24ccf275b190b71b671e1884a58e83fe0976f4d3 (patch) | |
tree | ab61b65851a097c79eb41c89054ffa17dbb578b6 /Test/houdini/Answer | |
parent | 1d7648ed968a478e03900c18ecd43f5b1443457c (diff) |
fixed a completeness problem in houdini with inlining
Diffstat (limited to 'Test/houdini/Answer')
-rw-r--r-- | Test/houdini/Answer | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/Test/houdini/Answer b/Test/houdini/Answer index b8e22af3..6053b442 100644 --- a/Test/houdini/Answer +++ b/Test/houdini/Answer @@ -146,3 +146,12 @@ b15 = False b16 = False
Boogie program verifier finished with 5 verified, 0 errors
+.
+-------------------- test10.bpl --------------------
+Assignment computed by Houdini:
+b1 = True
+b2 = True
+b3 = True
+b4 = True
+
+Boogie program verifier finished with 5 verified, 0 errors
|