Commit 92cc4915 authored by phlo's avatar phlo

fixed preservation of missing halt variables

parent 4175127e
......@@ -311,12 +311,12 @@ std::shared_ptr<std::string> Relational::set_halt () const
std::shared_ptr<std::string> Relational::restore_halt () const
{
if (halts.empty())
if (halts.find(thread) != halts.end())
return
std::make_shared<std::string>(
equality(halt_var(), halt_var(prev, thread)));
else
return {};
return
std::make_shared<std::string>(
equality(halt_var(), halt_var(prev, thread)));
}
// smtlib::Relational::set_heap ------------------------------------------------
......
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