Commit 40284b19 authored by phlo's avatar phlo

fixed halt variable initialization

parent d21b13f5
......@@ -982,9 +982,8 @@ void Encoder::init_halt ()
if (verbose)
formula << halt_comment;
iterate_threads([this] {
formula << assertion(lnot(halt_var())) << eol;
});
for (const auto & it : halts)
formula << assertion(lnot(halt_var(step, it.first))) << eol;
formula << eol;
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment