From 6ebe3d7447515b510bfa3bb73c0a0bb4f78b2cdd Mon Sep 17 00:00:00 2001 From: philipp Date: Sun, 24 Oct 2021 15:47:40 +0200 Subject: [PATCH] Use generic split after obtaining direct strategy * bin/ltlsynt.cc: Here --- bin/ltlsynt.cc | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/bin/ltlsynt.cc b/bin/ltlsynt.cc index d32e87fc1..98cd49bc0 100644 --- a/bin/ltlsynt.cc +++ b/bin/ltlsynt.cc @@ -426,8 +426,10 @@ namespace unsigned simplify = gi->minimize_lvl; bool do_split = 3 <= simplify; if (do_split) - split_2step_fast_here(strat.strat_like, - spot::get_synthesis_outputs(strat.strat_like)); + strat.strat_like = + split_2step(strat.strat_like, + spot::get_synthesis_outputs(strat.strat_like), + false); minimize_strategy_here(strat.strat_like, simplify); if (do_split) strat.strat_like = spot::unsplit_2step(strat.strat_like);