diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-08-04 21:55:13 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-08-04 21:55:13 -0700 |
| commit | e129afe1528a5213c56171dd12afaadb1e219d4c (patch) | |
| tree | b55bfba6282f395c2211a90f59a30e2bad87fa27 /Test | |
| parent | ae2d46b87b118669030e8720b166017eeed99231 (diff) | |
further changes for making houdini work
Diffstat (limited to 'Test')
| -rw-r--r-- | Test/houdini/houd6.bpl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/houdini/houd6.bpl b/Test/houdini/houd6.bpl index 09f2dd0e..820d2d73 100644 --- a/Test/houdini/houd6.bpl +++ b/Test/houdini/houd6.bpl @@ -41,4 +41,4 @@ modifies array; }
// expected outcome: Correct
-// expected assigment: bi->True forall i
\ No newline at end of file +// expected assigment: bi->False forall i
\ No newline at end of file |