From 86e61089eace89d2a3eb82967a69ce7477122616 Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 6 Sep 2017 11:10:22 +0200 Subject: [PATCH] * tests/core/dot2tex.test: Work around dot2tex 2.9.0. --- tests/core/dot2tex.test | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/tests/core/dot2tex.test b/tests/core/dot2tex.test index 50b393829..e7a957166 100755 --- a/tests/core/dot2tex.test +++ b/tests/core/dot2tex.test @@ -34,8 +34,10 @@ dot2tex --autosize --nominsize out.dot >out.tex pdflatex out.tex 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 -grep -F 'p_{0}' out2.tex -grep -F 'mathsf{Inf}' out2.tex grep -F 'accset0' out2.tex pdflatex out2.tex