From c26f38114fedde81effb938ffbedfe922d77a322 Mon Sep 17 00:00:00 2001
From: Carlo Zancanaro <carlo@carlo-laptop>
Date: Tue, 7 Aug 2012 17:01:57 +1000
Subject: A whole bunch of clean up work around the place.

- Make it a bit nicer to use the command-line
- Remove the strategies we won't be using
- Clean up some code around the place, generally
---
 impl/test/run | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'impl/test/run')

diff --git a/impl/test/run b/impl/test/run
index b030827..0c1886d 100644
--- a/impl/test/run
+++ b/impl/test/run
@@ -7,7 +7,7 @@ FAILED=0
 echo "Testing binary: $1 in directory $DIR"
 while [ -f "$DIR/$NUM.eqns" ]
 do
-  OUTPUT=$($1 "$DIR/$NUM.eqns" smart smart)
+  OUTPUT=$($1 "$DIR/$NUM.eqns")
   DIFF=$(echo "$OUTPUT" | diff - "$DIR/$NUM.soln")
   if [ ! -z "$DIFF" ]; then
     echo "=================="
-- 
cgit v1.2.3