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

ltl2aa: fix two bugs in SERE aut merge

Browse source
This commit is contained in:
Antoine Martin 2022-09-16 03:40:22 +02:00
parent 2af19a485b
commit 87c99cb38f
1 changed files with 2 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

2
spot/twaalgos/translate_aa.cc
View file

@ -73,6 +73,7 @@ namespace spot
unsigned copy_sere_aut_to_res(twa_graph_ptr sere_aut) unsigned copy_sere_aut_to_res(twa_graph_ptr sere_aut)
{ {
aut_->copy_ap_of(sere_aut);
std::map<unsigned, unsigned> old_to_new; std::map<unsigned, unsigned> old_to_new;
auto register_state = [&](unsigned st) -> unsigned { auto register_state = [&](unsigned st) -> unsigned {
auto p = old_to_new.emplace(st, 0); auto p = old_to_new.emplace(st, 0);
@ -340,6 +341,7 @@ namespace spot
univ_dest.end())); univ_dest.end()));
aut_->new_edge(src, dst, cond, {}); aut_->new_edge(src, dst, cond, {});
univ_dest.clear();
} }
} }