From f0b57d726442aef97ed4152ab603d1470669deea Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Wed, 16 May 2018 17:04:51 +0200 Subject: [PATCH] tests: use ltlcross --color for better code coverage * tests/core/ltlcross3.test: Here. --- tests/core/ltlcross3.test | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/tests/core/ltlcross3.test b/tests/core/ltlcross3.test index 818e27eea..2724af33d 100755 --- a/tests/core/ltlcross3.test +++ b/tests/core/ltlcross3.test @@ -311,7 +311,7 @@ diff foo expected run 0 ltlcross --verbose --no-checks -f 'FGa' 'ltl2tgba' # The CSV file should not talk about product if --products=0 -ltlcross --products=0 ltl2tgba -f GFa -f FGa --csv=out.csv +ltlcross --color --products=0 ltl2tgba -f GFa -f FGa --csv=out.csv grep product out.csv && exit 1 check_csv out.csv @@ -372,6 +372,6 @@ ltlcross './fake %f >%O' -f foo --verbose --csv=out.csv 2>stderr cat stderr test 2 = `grep -c 'info:.*-> failed (Too many .* used.)' stderr` check_csv out.csv -ltlcross './fake %f >%O' -f foo --csv=out.csv 2>stderr +ltlcross --color=never './fake %f >%O' -f foo --csv=out.csv 2>stderr cat stderr test 2 = `grep -c 'info: preproc.* failed (Too many .* used.)' stderr`