From ce3eeb448d11644f2a7e4d977eb0cfb15ac3b5fd Mon Sep 17 00:00:00 2001
From: Maximilien Colange <colange@lrde.epita.fr>
Date: Fri, 24 Nov 2017 11:07:23 +0100
Subject: [PATCH] Fix ltlsynt tests

* tests/core/ltlsynt.test: Escape newlines and test PGsolver printer
---
 tests/core/ltlsynt.test | 31 +++++++++++++++++++++++++++----
 1 file changed, 27 insertions(+), 4 deletions(-)

diff --git a/tests/core/ltlsynt.test b/tests/core/ltlsynt.test
index 50874a47f..b2b509c88 100644
--- a/tests/core/ltlsynt.test
+++ b/tests/core/ltlsynt.test
@@ -22,6 +22,29 @@
 
 set -e
 
+cat >exp <<EOF
+parity 15;
+0 4294967295 0 1,2 "INIT";
+2 4 1 3;
+3 2 0 4,5;
+5 4294967295 1 3,6;
+6 3 0 4,5;
+4 4294967295 1 7,8;
+8 2 0 9,10;
+10 3 1 3,11;
+11 0 0 4,5;
+9 0 1 8,12;
+12 1 0 10,13;
+13 4294967295 1 8,12;
+7 1 0 4,14;
+14 2 1 3,6;
+4 4294967295 1 7,8;
+1 3 1 3,15;
+15 3 0 1,2;
+EOF
+ltlsynt --ins='a' --outs='b' -f 'GFa <-> GFb' --print-pg > out
+diff out exp
+
 F0='(G ((((req) -> (X ((grant) && (X ((grant) && (X (grant))))))) && ((grant)
 -> (X (! (grant))))) && ((cancel) -> (X ((! (grant)) U (go))))))'
 IN0='cancel, go, req'
@@ -91,10 +114,10 @@ for i in 0 1 7 8 9; do
   IN=$(eval echo \$IN$i)
   OUT=$(eval echo \$OUT$i)
   EXP=$(eval echo \$EXP$i)
-  test $EXP = `ltlsynt -f "$F" --ins="$IN" --outs="$OUT" --realizability
-  --algo=rec`
-  test $EXP = `ltlsynt -f "$F" --ins="$IN" --outs="$OUT" --realizability
-  --algo=qp`
+  test $EXP = $(ltlsynt -f "$F" --ins="$IN" --outs="$OUT" --realizability \
+  --algo=rec)
+  test $EXP = $(ltlsynt -f "$F" --ins="$IN" --outs="$OUT" --realizability \
+  --algo=qp)
 done
 
 for i in 2 3 4 5 6 10; do