alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

translate: relabel_bool was ignored when option_map was not supplied

Browse source 
* spot/twaalgos/translate.cc: Set relabel_bool_ to 4 by default, not
-1.  Also call relabel_apply when the formula is relabeled.
This commit is contained in:
Alexandre Duret-Lutz 2019-05-18 20:51:38 +02:00
parent 89fcd2b455
commit 60bdf5de19
1 changed files with 4 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

5
spot/twaalgos/translate.cc
View file

@ -35,7 +35,8 @@ namespace spot
void translator::setup_opt(const option_map* opt) void translator::setup_opt(const option_map* opt)
{ {
comp_susp_ = early_susp_ = skel_wdba_ = skel_simul_ = 0; comp_susp_ = early_susp_ = skel_wdba_ = skel_simul_ = 0;
relabel_bool_ = tls_impl_ = -1; relabel_bool_ = 4;
tls_impl_ = -1;
ltl_split_ = true; ltl_split_ = true;
opt_ = opt; opt_ = opt;
@ -423,6 +424,8 @@ namespace spot
formula r = simpl_->simplify(to_work_on); formula r = simpl_->simplify(to_work_on);
if (to_work_on == *f) if (to_work_on == *f)
*f = r; *f = r;
else
*f = relabel_apply(r, &m);
auto aut = run_aux(r); auto aut = run_aux(r);