mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
fix unit test
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
f61bd97ea1
commit
c43852a266
|
@ -220,7 +220,7 @@ namespace dd {
|
|||
if (use_mod2) {
|
||||
solver::config cfg;
|
||||
cfg.m_enable_exlin = true;
|
||||
g = cfg;
|
||||
g.set(cfg);
|
||||
g.simplify();
|
||||
g.display(std::cout << "after exlin\n");
|
||||
}
|
||||
|
|
Loading…
Reference in a new issue