From 29508339291bcfa1c21189340d6f2d4957cd320b Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Sat, 18 May 2019 20:51:38 +0200 Subject: [PATCH] translate: relabel_bool was ignored when option_map was not supplied * spot/twaalgos/translate.cc: Set relabel_bool_ to 4 by default, not -1. * NEWS: Mention the bug. --- NEWS | 7 +++++++ spot/twaalgos/translate.cc | 3 ++- 2 files changed, 9 insertions(+), 1 deletion(-) diff --git a/NEWS b/NEWS index 86b8b9fe9..147e5e3f5 100644 --- a/NEWS +++ b/NEWS @@ -7,6 +7,13 @@ New in spot 2.7.4.dev (not yet released) GraphViz that aborts when some label exceeds 16k characters, and also helps making large automata more readable. + Bugs fixed: + + - spot::translator was not applying Boolean sub-formula rewritting + by default unless a spot::option_map was passed. This caused some + C++ code for translating certains formulas to be noticeably slower + than the equivalent call to the ltl2tgba binary. + New in spot 2.7.4 (2019-04-27) Bugs fixed: diff --git a/spot/twaalgos/translate.cc b/spot/twaalgos/translate.cc index 9fee4e847..e22342578 100644 --- a/spot/twaalgos/translate.cc +++ b/spot/twaalgos/translate.cc @@ -35,7 +35,8 @@ namespace spot void translator::setup_opt(const option_map* opt) { comp_susp_ = early_susp_ = skel_wdba_ = skel_simul_ = 0; - relabel_bool_ = tls_impl_ = -1; + relabel_bool_ = 4; + tls_impl_ = -1; ltl_split_ = true; opt_ = opt;