mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-29 03:45:51 +00:00
Code Activity

Backup before I touch early pruning ...

Browse source
This commit is contained in:
Andreas Froehlich 2014-04-22 16:10:44 +01:00
parent 8346aed39c
commit c441bb4388
5 changed files with 19 additions and 28 deletions
Download patch file Download diff file Expand all files Collapse all files

1
src/tactic/sls/sls_engine.h
View file

@ -76,6 +76,7 @@ protected:
unsigned m_wp;
unsigned m_vns_mc;
unsigned m_vns_repick;
unsigned m_paws;
unsigned m_paws_sp;
unsigned m_restart_base;
unsigned m_restart_next;