Commit 2fe6f5cc authored by Etienne Renault's avatar Etienne Renault

modelcheck: fix erroneous report in deadlock

* tests/ltsmin/modelcheck.cc: Here.
parent 26d122d9
......@@ -532,7 +532,7 @@ static int checked_main()
try
{
modelcube = spot::ltsmin_model::load(mc_options.model)
.kripkecube({}, deadf, mc_options.compress,
.kripkecube({}, spot::formula::ff(), mc_options.compress,
mc_options.nb_threads);
}
catch (const std::runtime_error& e)
......
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