diff options
author | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-08 10:09:53 -0600 |
---|---|---|
committer | ajreynol <andrew.j.reynolds@gmail.com> | 2016-11-08 10:10:08 -0600 |
commit | 2f2e9fcf1fbb27f8e799aeac2372c0a9113f01aa (patch) | |
tree | 960adfe7c475b1d5c54dbb4c43b035ee6c740151 /test/regress/regress0/sep/quant_wand.smt2 | |
parent | 1f9f7a3bd665575fd25f0fe93547ee0564cc18c9 (diff) |
Add a few options to separation logic and sets. Minor changes to separation logic, change syntax for empty heap constraint.
Diffstat (limited to 'test/regress/regress0/sep/quant_wand.smt2')
-rw-r--r-- | test/regress/regress0/sep/quant_wand.smt2 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/regress/regress0/sep/quant_wand.smt2 b/test/regress/regress0/sep/quant_wand.smt2 index d71b937fc..9c38fb405 100644 --- a/test/regress/regress0/sep/quant_wand.smt2 +++ b/test/regress/regress0/sep/quant_wand.smt2 @@ -5,7 +5,7 @@ (declare-const u Int) -(assert (emp 0)) +(assert (emp 0 0)) (assert (forall ((y Int)) |