mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-27 08:28:44 +00:00
Code Activity

revert to STL allocated memory to be orthogonal to memory manager behavior

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2020-10-22 12:12:32 -07:00
parent a083633ab4
commit a4aa87b6c9
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
src/util/scoped_timer.cpp
View file

@ -27,6 +27,7 @@ Revision History:
#include <condition_variable> #include <condition_variable>
#include <mutex> #include <mutex>
#include <thread> #include <thread>
#include <vector>
struct state { struct state {
std::thread * m_thread { nullptr }; std::thread * m_thread { nullptr };
@ -43,7 +44,7 @@ struct state {
* destructing threads blocked on condition variables leads to * destructing threads blocked on condition variables leads to
* deadlock. * deadlock.
*/ */
static ptr_vector<state> available_workers; static std::vector<state*> available_workers;
static std::mutex workers; static std::mutex workers;
static void thread_func(state *s) { static void thread_func(state *s) {