diff options
| author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-08-07 17:01:57 +1000 |
|---|---|---|
| committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-08-07 17:01:57 +1000 |
| commit | c26f38114fedde81effb938ffbedfe922d77a322 (patch) | |
| tree | f5c637526607507e2861ab8bce69d49e89a4f541 /impl/test | |
| parent | 42e729d20000eb141b2907ad83630af34f4afea3 (diff) | |
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
Diffstat (limited to 'impl/test')
| -rw-r--r-- | impl/test/run | 2 |
1 files changed, 1 insertions, 1 deletions
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 "==================" |