Commit 8ccd8860 authored by Etienne Renault's avatar Etienne Renault
Browse files

modelcheck: fix erroneous report in deadlock

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