mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-28 03:15:50 +00:00
Code Activity

have replayer handle oom natively

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2018-11-19 10:59:12 -08:00
parent 04d709dae1
commit 7d0d7e6343
2 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/api/api_context.cpp
View file

@ -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) {

1
src/api/z3_replayer.cpp
View file

@ -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) {