mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-27 16:38:45 +00:00
Code Activity

Better exception recording

Browse source
This commit is contained in:
Jakob Rath 2022-11-30 11:50:23 +01:00
parent ceddb97bfd
commit 2bc1b3a6dd
1 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

5
src/test/polysat.cpp
View file

@ -257,8 +257,7 @@ namespace polysat {
void check() { void check() {
auto* rec = test_records.active_or_new_record(); auto* rec = test_records.active_or_new_record();
rec->m_finished = true; m_last_finished = nullptr;
m_last_finished = rec;
SASSERT(rec->m_answer == l_undef); SASSERT(rec->m_answer == l_undef);
SASSERT(rec->m_expected == l_undef); SASSERT(rec->m_expected == l_undef);
SASSERT(rec->m_result == test_result::undefined); SASSERT(rec->m_result == test_result::undefined);
@ -270,6 +269,8 @@ namespace polysat {
}); });
m_last_result = check_sat(); m_last_result = check_sat();
} }
rec->m_finished = true;
m_last_finished = rec;
std::cout << "DONE: " << m_name << ": " << m_last_result << "\n"; std::cout << "DONE: " << m_name << ": " << m_last_result << "\n";
statistics st; statistics st;
collect_statistics(st); collect_statistics(st);