mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-11-10 16:12:03 +00:00
Code Activity

fix #6340 - again

Browse source 
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2022-09-13 17:01:45 -07:00
parent c30b884247
commit fd5448d26b
4 changed files with 16 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/smt/smt_context.h
View file

@ -107,11 +107,12 @@ namespace smt {
ptr_vector<justification> m_justifications;
unsigned m_final_check_idx; // circular counter used for implementing fairness
unsigned m_final_check_idx = 0; // circular counter used for implementing fairness
bool m_is_auxiliary { false }; // used to prevent unwanted information from being logged.
class parallel* m_par { nullptr };
unsigned m_par_index { 0 };
bool m_is_auxiliary = false; // used to prevent unwanted information from being logged.
class parallel* m_par = nullptr;
unsigned m_par_index = 0;
bool m_internalizing_assertions = false;
// -----------------------------------
//