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

dot: fix 'g' with a Mealy machine

Browse source 
* spot/twaalgos/dot.cc: here
* tests/python/mealy.py: add test
This commit is contained in:
Florian Renkin 2022-09-03 14:13:23 +02:00
parent 27816ea438
commit 4d2c096ec0
2 changed files with 21 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

9
spot/twaalgos/dot.cc
View file

@ -1084,9 +1084,12 @@ namespace spot
{ {
if (aut->acc().is_t()) if (aut->acc().is_t())
opt_show_acc_ = false; opt_show_acc_ = false;
bdd out = *p; if (opt_showlabel_)
opt_mealy_output_ = out; {
opt_mealy_ = true; bdd out = *p;
opt_mealy_output_ = out;
opt_mealy_ = true;
}
} }
incomplete_ = incomplete_ =
aut->get_named_prop<std::set<unsigned>>("incomplete-states"); aut->get_named_prop<std::set<unsigned>>("incomplete-states");

15
tests/python/mealy.py
View file

@ -611,3 +611,18 @@ State: 1
res = spot.reduce_mealy(aut, True) res = spot.reduce_mealy(aut, True)
tc.assertEqual(res.to_str(), exp) tc.assertEqual(res.to_str(), exp)
exp = """digraph "" {
rankdir=LR
node [shape="circle"]
I [label="", style=invis, width=0]
I -> 0
0 [label="0"]
0 -> 1 [label=""]
0 -> 1 [label=""]
0 -> 1 [label=""]
1 [label="1"]
1 -> 1 [label=""]
}
"""
tc.assertEqual(res.to_str("dot", "g"), exp)