From 6c6da44f8fc2525307b89850d96e037fe358d02d Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 9 Feb 2016 22:24:37 +0000
Subject: [PATCH] removing const qualifiers, perhaps this helps for #420 and
adding assert to enable Clang analysis earlier for issue #440
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
examples/c/test_capi.c | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/examples/c/test_capi.c b/examples/c/test_capi.c
index a355f8c88..0c6e2fae4 100644
--- a/examples/c/test_capi.c
+++ b/examples/c/test_capi.c
@@ -2794,9 +2794,9 @@ int main() {
Z3_open_log("z3.log");
#endif
display_version();
- //simple_example();
- //demorgan();
- //find_model_example1();
+ simple_example();
+ demorgan();
+ find_model_example1();
find_model_example2();
prove_example1();
prove_example2();