mirror of
https://github.com/Z3Prover/z3
synced 2025-04-05 17:14:07 +00:00
wrong unit for xor in aig tactic #5722
This commit is contained in:
parent
f11fcec082
commit
4d8bf2a874
|
@ -559,7 +559,7 @@ struct aig_manager::imp {
|
|||
aig_lit r;
|
||||
switch (num) {
|
||||
case 0:
|
||||
r = m.m_true;
|
||||
r = m.m_false;
|
||||
break;
|
||||
case 1:
|
||||
r = m_result_stack[spos];
|
||||
|
|
Loading…
Reference in a new issue