From 4740adeb09395566e6ba588bcc0e570639c2b490 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sun, 14 Apr 2019 15:06:22 +0200 Subject: [PATCH] genem: fix previous patch * spot/twaalgos/genem.cc: Do not use a temporary scc_and_mark_filter. --- spot/twaalgos/genem.cc | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/spot/twaalgos/genem.cc b/spot/twaalgos/genem.cc index 2d3142077..9b53b2a90 100644 --- a/spot/twaalgos/genem.cc +++ b/spot/twaalgos/genem.cc @@ -108,8 +108,11 @@ namespace spot } return true; } - scc_info si(scc_and_mark_filter(aut, aut_acc.fin_unit()), - scc_info_options::STOP_ON_ACC); + // Filter with fin_unit() right away if possible. + // scc_and_mark_filter will have no effect if fin_unit() is + // empty. + scc_and_mark_filter filt(aut, aut_acc.fin_unit()); + scc_info si(filt, scc_info_options::STOP_ON_ACC); const int accepting_scc = si.one_accepting_scc(); if (accepting_scc >= 0)