From b7eaa99578037789a337c5061c0ea8ee3150b63c Mon Sep 17 00:00:00 2001
From: "Zancanaro; Carlo" <czan8762@plang3.cs.usyd.edu.au>
Date: Thu, 1 Nov 2012 18:06:13 +1100
Subject: A bunch of fixes to the solver, and moving it in to clang.

Also some contribution writing stuff.

Basically: lots of work.
---
 impl/test/run | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'impl/test/run')

diff --git a/impl/test/run b/impl/test/run
index 169edda..d15fb68 100644
--- a/impl/test/run
+++ b/impl/test/run
@@ -7,15 +7,17 @@ FAILED=0
 echo "Testing binary: $1 in directory $DIR"
 while [ -f "$DIR/$NUM.eqns" ]
 do
+  cat "$DIR/$NUM.soln" | sort > "/tmp/$NUM.soln.tmp"
+  mv "/tmp/$NUM.soln.tmp" "$DIR/$NUM.soln" 2> /dev/null
   OUTPUT=$(timeout 5s $1 "$DIR/$NUM.eqns" 2> /dev/null)
   if [ $? -eq 124 ]; then
     OUTPUT="did not terminate"
   fi
-  DIFF=$(echo "$OUTPUT" | diff - "$DIR/$NUM.soln")
+  DIFF=$(echo "$OUTPUT" | sort | diff - "$DIR/$NUM.soln")
   if [ ! -z "$DIFF" ]; then
     echo "=================="
     echo "Test #$NUM failed:"
-    echo "$OUTPUT" | sdiff - "$DIR/$NUM.soln"
+    echo "$OUTPUT" | sort | sdiff - "$DIR/$NUM.soln"
     echo
     FAILED=$(($FAILED + 1))
   fi
-- 
cgit v1.2.3