diff options
Diffstat (limited to 'test/api')
| -rw-r--r-- | test/api/sep_log_api.cpp | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/api/sep_log_api.cpp b/test/api/sep_log_api.cpp index 1b1efb07e..cc20f1ed1 100644 --- a/test/api/sep_log_api.cpp +++ b/test/api/sep_log_api.cpp @@ -46,6 +46,8 @@ int validate_exception(void) /* Our integer type */ Sort integer = slv.getIntegerSort(); + /** we intentionally do not set the separation logic heap */ + /* Our SMT constants */ Term x = slv.mkConst(integer, "x"); Term y = slv.mkConst(integer, "y"); @@ -134,6 +136,9 @@ int validate_getters(void) /* Our integer type */ Sort integer = slv.getIntegerSort(); + /** Declare the separation logic heap types */ + slv.declareSeparationHeap(integer, integer); + /* A "random" constant */ Term random_constant = slv.mkInteger(0xDEADBEEF); |