mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-04 13:21:22 +00:00
Code Activity

add priority queue to instantiation

Browse source
This commit is contained in:
Nikolaj Bjorner 2021-01-31 16:17:36 -08:00
parent 942706e271
commit 22b0c3aa70
1 changed files with 2 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

8
src/muz/rel/tbv.cpp
View file

@ -31,12 +31,8 @@ void tbv_manager::debug_alloc() {
tbv_manager::~tbv_manager() { tbv_manager::~tbv_manager() {
DEBUG_CODE( DEBUG_CODE(
ptr_vector<tbv>::iterator it = allocated_tbvs.begin(); for (auto t : allocated_tbvs)
ptr_vector<tbv>::iterator end = allocated_tbvs.end(); TRACE("doc", tout << "dangling: " << t << "\n";););
for (; it != end; ++it) {
std::cout << "dangling: " << (*it) << "\n";
TRACE("doc", tout << "dangling: " << (*it) << "\n";);
});
} }
void tbv_manager::reset() { void tbv_manager::reset() {