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

dot: replace large labels by "(label too long)"

Browse source 
Based on a report by Victor Khomenko.

* spot/twaalgos/dot.cc: Here.
* tests/core/readsave.test: Add test case.
* NEWS: Mention it.
This commit is contained in:
Alexandre Duret-Lutz 2019-05-18 13:46:33 +02:00
parent 09d9e0c52a
commit 11e8f9592f
3 changed files with 20 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

7
NEWS
View file

@ -1,6 +1,11 @@
New in spot 2.7.4.dev (not yet released)
Nothing yet.
Library:
- print_dot will replace labels that have more 2048 characters by a
"(label too long)" string. This works around a limitation of
GraphViz that aborts when some label exceeds 16k characters, and
also helps making large automata more readable.
New in spot 2.7.4 (2019-04-27)