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

scc_info: fix split_on_sets

Browse source 
* spot/twaalgos/sccinfo.cc (split_on_sets): Correctly register APs.
* tests/python/sccsplit.py: New file.
* tests/Makefile.am: Add it.
* NEWS: Mention the bug.
This commit is contained in:
Alexandre Duret-Lutz 2018-07-26 14:04:52 +02:00
parent b52f4ea711
commit 9f81df2cd4
4 changed files with 37 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

1
spot/twaalgos/sccinfo.cc
View file

@ -528,6 +528,7 @@ namespace spot
cur.assign(aut_->num_states(), false);
auto copy = make_twa_graph(aut_->get_dict());
copy->copy_ap_of(aut_);
copy->copy_acceptance_of(aut_);
copy->prop_state_acc(aut_->prop_state_acc());
transform_accessible(aut_, copy, [&](unsigned src,