Skip to content

Commit

Permalink
Qickhack to fix sosy-lab/java-smt#310. This will make all the threads…
Browse files Browse the repository at this point in the history
… use the same NodeManager. As a result Solver instances can move between threads. However, no two solver threads may ever run at the same time.
  • Loading branch information
daniel-raffler committed Jan 2, 2024
1 parent 34d7bbb commit f4fe8ef
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/expr/node_manager_template.cpp
Original file line number Diff line number Diff line change
Expand Up @@ -129,7 +129,7 @@ NodeManager::NodeManager()

NodeManager* NodeManager::currentNM()
{
thread_local static NodeManager nm;
static NodeManager nm;
return &nm;
}

Expand Down

0 comments on commit f4fe8ef

Please sign in to comment.