3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-05 09:04:07 +00:00

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>
This commit is contained in:
Nikolaj Bjorner 2016-02-09 22:24:37 +00:00
parent 5ce85aba40
commit 6c6da44f8f

View file

@ -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();