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

* tests/core/dot2tex.test: Work around dot2tex 2.9.0.

Browse source
This commit is contained in:
Alexandre Duret-Lutz 2017-09-06 11:10:22 +02:00
parent bfe5753bf9
commit 86e61089ea
1 changed files with 4 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
tests/core/dot2tex.test
View file

@ -34,8 +34,10 @@ dot2tex --autosize --nominsize out.dot >out.tex
pdflatex out.tex pdflatex out.tex
ltl2tgba 'p0 U p1' --dot=tbarx >out2.dot ltl2tgba 'p0 U p1' --dot=tbarx >out2.dot
# Check this in the dot file, because dot2tex 2.9.0 is broken and does
# not output the labels when they fail to compute their size.
grep -F 'p_{0}' out2.dot
grep -F 'mathsf{Inf}' out2.dot
dot2tex --autosize --nominsize out2.dot >out2.tex dot2tex --autosize --nominsize out2.dot >out2.tex
grep -F 'p_{0}' out2.tex
grep -F 'mathsf{Inf}' out2.tex
grep -F 'accset0' out2.tex grep -F 'accset0' out2.tex
pdflatex out2.tex pdflatex out2.tex