From 70306d184e73097196ff70e9d4dcd6ba419dc3f3 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Thu, 23 Aug 2012 09:24:30 +0200 Subject: [PATCH] CGI: Better call of scc_filter. * wrap/python/ajax/spot.in: Account for reverse and iterated simulations when calling scc_filter the first time. --- wrap/python/ajax/spot.in | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/wrap/python/ajax/spot.in b/wrap/python/ajax/spot.in index db4509d6f..be7c20fc6 100755 --- a/wrap/python/ajax/spot.in +++ b/wrap/python/ajax/spot.in @@ -625,7 +625,10 @@ if prune_scc: # Do not suppress all useless acceptance conditions if # degeneralization or simulation is requested: keeping those that # lead to accepting states usually helps. - automaton = spot.scc_filter(automaton, not (degen or direct_simul)) + automaton = spot.scc_filter(automaton, not (degen + or direct_simul + or reverse_simul + or iterated_simul)) issba = False if wdba_minimize: