mirror of
https://github.com/Z3Prover/z3
synced 2025-04-06 09:34:08 +00:00
parent
2a93ac3d81
commit
39fb44fe09
|
@ -254,8 +254,6 @@ struct evaluator_cfg : public default_rewriter_cfg {
|
|||
}
|
||||
func_interp * fi = m_model.get_func_interp(g);
|
||||
if (fi && (result = fi->get_array_interp(g))) {
|
||||
std::cout << g->get_name() << "\n";
|
||||
std::cout << result << "\n";
|
||||
model_evaluator ev(m_model, m_params);
|
||||
result = ev(result);
|
||||
m_pinned.push_back(result);
|
||||
|
|
Loading…
Reference in a new issue