Closed 4tXJ7f closed 7 years ago
For all PreprocessingPasses, make sure that accesses to the NodeManager happen through the thread_local variable, i.e. NodeManager::currentNM() and not through the SMT engine.
NodeManager::currentNM()
For all PreprocessingPasses, make sure that accesses to the NodeManager happen through the thread_local variable, i.e.
NodeManager::currentNM()
and not through the SMT engine.