diff options
| author |  Peter Collingbourne <peter@pcc.me.uk> | 2012-08-14 19:27:35 +0100 |
|---|---|---|
| committer | Peter Collingbourne <peter@pcc.me.uk> | 2012-08-14 19:27:35 +0100 |
| commit | 34dd747b749fa87f82973495ada645c2c81a3e93 (patch) | |
| tree | 85ca0770d5e830bf5b4c3ca7d13881610819c73d /Test/smoke | |
| parent | 6b5e69f1702f9acad0cab789e7570070e8e745c3 (diff) | |
Update test suite for commit 8a59fbb7ee34.
Diffstat (limited to 'Test/smoke')
| -rw-r--r-- | Test/smoke/Answer | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/smoke/Answer b/Test/smoke/Answer index de255422..98cff8d2 100644 --- a/Test/smoke/Answer +++ b/Test/smoke/Answer @@ -9,7 +9,7 @@ implementation b(x: int) goto anon3_Then;
anon3_Then:
- assume x < 0;
+ assume {:partition} x < 0;
y := 1;
assert false;
return;
|