diff options
Diffstat (limited to 'Test/doomed/doomed.bpl')
| -rw-r--r-- | Test/doomed/doomed.bpl | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/Test/doomed/doomed.bpl b/Test/doomed/doomed.bpl index 77eec249..741a54c5 100644 --- a/Test/doomed/doomed.bpl +++ b/Test/doomed/doomed.bpl @@ -21,7 +21,9 @@ procedure evilbranch(x:int) } else {
y := 2;
}
- assert y!=2;
+ assume y!=2;
+
+ assert x<0;
}
|