have replayer handle oom natively

Signed-off-by: Nikolaj Bjorner <[email protected]>
Z3Prover · Nov 19, 2018 · 7d0d7e6 · 7d0d7e6
1 parent 04d709d
commit 7d0d7e6
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/src/api/api_context.cpp b/src/api/api_context.cpp
@@ -440,7 +440,6 @@ extern "C" {
     void Z3_API Z3_set_error_handler(Z3_context c, Z3_error_handler h) {
         RESET_ERROR_CODE();    
         mk_c(c)->set_error_handler(h);
-        // [Leo]: using exception handling, we don't need global error handlers anymore
     }
 
     void Z3_API Z3_set_error(Z3_context c, Z3_error_code e) {

diff --git a/src/api/z3_replayer.cpp b/src/api/z3_replayer.cpp
@@ -401,6 +401,7 @@ struct z3_replayer::imp {
 #define TICK_FREQUENCY 100000
 
     void parse() {
+        memory::exit_when_out_of_memory(false, nullptr);
         uint64_t counter = 0;
         unsigned tick = 0;
         while (true) {