Commit d4b8ecdf authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

genem: fix suboptimal selection of Fin to remove

* spot/twaalgos/genem.cc: If a disjunct has no unit-Fin to remove the
code should select any Fin occuring in the disjunct, but it was
selecting any Fin occuring in the acceptance condition (made of
disjuncts) instead.  This could potentially double the number of
recursive calls.
parent 332f830d
Pipeline #17299 failed with stage
in 122 minutes and 47 seconds
// -*- coding: utf-8 -*-
// Copyright (C) 2017-2019 Laboratoire de Recherche et Developpement
// Copyright (C) 2017-2020 Laboratoire de Recherche et Developpement
// de l'Epita (LRDE).
//
// This file is part of Spot, a model checking library.
......@@ -74,7 +74,7 @@ namespace spot
}
else
{
int fo = acc.fin_one();
int fo = disjunct.fin_one();
assert(fo >= 0);
// Try to accept when Fin(fo) == true
acc_cond::mark_t fo_m = {(unsigned) fo};
......
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