mirror of
https://github.com/Z3Prover/z3
synced 2025-07-19 10:52:02 +00:00
optimize binary output
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
5b57c6b780
commit
0aafa8b7ce
2 changed files with 12 additions and 8 deletions
|
@ -1222,7 +1222,6 @@ namespace sat {
|
|||
RI literals.
|
||||
*/
|
||||
void minimize_covered_clause(unsigned idx) {
|
||||
literal _blocked = m_covered_clause[idx];
|
||||
for (literal l : m_tautology) VERIFY(s.is_marked(l));
|
||||
for (literal l : m_covered_clause) s.unmark_visited(l);
|
||||
for (literal l : m_tautology) s.mark_visited(l);
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue