diff options
Diffstat (limited to 'Test/aitest1')
| -rw-r--r-- | Test/aitest1/Answer | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Test/aitest1/Answer b/Test/aitest1/Answer index dd5bcff2..bfe185e7 100644 --- a/Test/aitest1/Answer +++ b/Test/aitest1/Answer @@ -268,7 +268,7 @@ implementation p() A:
assume {:inferred} true;
- assume 0 - 1 <= x;
+ assume -1 <= x;
assume {:inferred} -1 <= x;
goto B, E;
|