Commit e70f9d57 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

remove_alternation: fix serious typo

Fixes #382.

* spot/twaalgos/ Here.
* tests/python/alternation.ipynb: Add test case.
* NEWS: Mention it.
parent e340e61f
......@@ -6,6 +6,9 @@ New in spot (not yet released)
--stats would output the \r as part of the %> sequence instead
of ignoring it.
- Fix serious typo in removel_alternation() causing incorrect
output for some VWAA. Bug introduced in Spot 2.6.
New in spot 2.7.2 (2019-03-17)
......@@ -233,7 +233,7 @@ namespace spot
int v = d->register_anonymous_variables(1, this);
var_to_mark_.emplace(v, acc_cond::mark_t({mark_pos++}));
bdd bv = bdd_ithvar(v);
all_marks &= bv;
......@@ -449,7 +449,6 @@ namespace spot
for (unsigned se: s_to_ss[s])
bs &= state_as_bdd(se);
bdd ap = bdd_exist(bdd_support(bs), all_vars_);
bdd all_letters = bdd_exist(bs, all_vars_);
......@@ -468,7 +467,7 @@ namespace spot
acc_cond::mark_t m = bdd_to_state(dest, v);
// if there is no promise "f" is between a state
// if there is no promise "f" between a state
// that does not have f, and a state that have
// "f", we can add one. Doing so will help later
// simplifications performed by postprocessor. An
This diff is collapsed.
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment