diff options
| author |  akashlal <unknown> | 2013-04-18 22:29:51 +0530 |
|---|---|---|
| committer | akashlal <unknown> | 2013-04-18 22:29:51 +0530 |
| commit | 2afe289c11d78711d4483e1ed36346998689668c (patch) | |
| tree | 2d09536f42cfcd000aeeeeef00b8365ae1ef0928 /Test/AbsHoudini/houd1.bpl | |
| parent | a2fcc9e7617800e2139a9cbbfa720222e4c1b6f5 (diff) | |
AbsHoudini: Added support for /inlineDepth, and fixed the regression tests
(all pass)
Diffstat (limited to 'Test/AbsHoudini/houd1.bpl')
| -rw-r--r-- | Test/AbsHoudini/houd1.bpl | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/Test/AbsHoudini/houd1.bpl b/Test/AbsHoudini/houd1.bpl index 099c6f09..fc3d5713 100644 --- a/Test/AbsHoudini/houd1.bpl +++ b/Test/AbsHoudini/houd1.bpl @@ -14,5 +14,4 @@ ensures b1(myVar>0); }
}
-// expected output: Correct
-// expected end assigment: b1(x) = x
+// expected end assigment: b1(x) = true
|