mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-13 12:28:44 +00:00
Code Activity

fix #5059: exit straight away on hard timeout

Browse source 
dont run atexit handlers as its not safe to do so with multiple threads
code might be inside malloc, for example, and glibc tries to cleanup its heap
state with an atexit handler
This commit is contained in:
Nuno Lopes 2021-03-01 14:34:41 +00:00
parent 484c83e6c0
commit fc558d3946
5 changed files with 5 additions and 5 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/shell/datalog_frontend.cpp
View file

@ -109,7 +109,7 @@ static void display_statistics() {
static void on_timeout() {
display_statistics();
exit(0);
_Exit(0);
}
static void STD_CALL on_ctrl_c(int) {

2
src/shell/dimacs_frontend.cpp
View file

@ -55,7 +55,7 @@ static void display_statistics() {
static void on_timeout() {
display_statistics();
exit(0);
_Exit(0);
}
static void STD_CALL on_ctrl_c(int) {

2
src/shell/lp_frontend.cpp
View file

@ -38,7 +38,7 @@ static void STD_CALL on_ctrl_c(int) {
static void on_timeout() {
display_statistics();
exit(0);
_Exit(0);
}
struct front_end_resource_limit : public lp::lp_resource_limit {

2
src/shell/opt_frontend.cpp
View file

@ -84,7 +84,7 @@ static void STD_CALL on_ctrl_c(int) {
static void on_timeout() {
display_statistics();
exit(0);
_Exit(0);
}
static unsigned parse_opt(std::istream& in, opt_format f) {

2
src/shell/smtlib_frontend.cpp
View file

@ -62,7 +62,7 @@ static void display_model() {
static void on_timeout() {
display_statistics();
exit(0);
_Exit(0);
}
static void STD_CALL on_ctrl_c(int) {