From 861969b53a3e40ff690ee10da6fc7a10c3b919eb Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Mon, 30 Apr 2012 18:11:13 +0200 Subject: [PATCH] Prefer -R3 to -R3f when applying direct simulation in the web interface. * wrap/python/ajax/spot.in: Adjust. --- wrap/python/ajax/spot.in | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/wrap/python/ajax/spot.in b/wrap/python/ajax/spot.in index b75886be9..791f59c22 100755 --- a/wrap/python/ajax/spot.in +++ b/wrap/python/ajax/spot.in @@ -515,9 +515,9 @@ elif buchi_type == 'i': if prune_scc: # Do not suppress all useless acceptance conditions if - # degeneralization is requested: keeping those that lead to - # accepting states usually helps. - automaton = spot.scc_filter(automaton, not degen) + # degeneralization or simulation is requested: keeping those that + # lead to accepting states usually helps. + automaton = spot.scc_filter(automaton, not (degen or direct_simul)) if wdba_minimize: minimized = spot.minimize_obligation_new(automaton, f)