print_dot: improve the rendering of Mealy machines (!25) · Merge requests · Spot / Spot · GitLab

Alexandre Duret-Lutz requested to merge adl/print-aiger into next Oct 29, 2021

spot/twaalgos/dot.cc (print_dot): Add some detection of Mealy machines, and some code to render its I/O in a .
tests/python/synthesis.ipynb: Adjust expected output.
tests/python/_mealy.ipynb: New file.
tests/Makefile.am: Add python/_mealy.ipynb.
NEWS: Mention the new feature.