# HG changeset patch
# User blanchet
# Date 1320671761 -3600
# Node ID cfc8a066131074843beb50dca5fc6cf135932c19
# Parent  3a9f84ad31e7115ba1ebde0a4171f6d46d7c0bbf
align columns in output and keep error log around

diff -r 3a9f84ad31e7 -r cfc8a0661310 src/HOL/Mutabelle/lib/Tools/mutabelle
--- a/src/HOL/Mutabelle/lib/Tools/mutabelle	Mon Nov 07 12:08:22 2011 +0100
+++ b/src/HOL/Mutabelle/lib/Tools/mutabelle	Mon Nov 07 14:16:01 2011 +0100
@@ -115,7 +115,7 @@
 
 # execution
 
-"$ISABELLE_PROCESS" -e 'use_thy "$MUTABELLE_OUTPUT_PATH/Mutabelle_Test"' -q "$MUTABELLE_LOGIC" > /dev/null 2>&1
+"$ISABELLE_PROCESS" -e 'use_thy "$MUTABELLE_OUTPUT_PATH/Mutabelle_Test"' -q "$MUTABELLE_LOGIC" > "$MUTABELLE_OUTPUT_PATH/err" 2>&1
 
 
 [ $? -ne 0 ] && echo "isabelle processing of mutabelle failed"
@@ -128,7 +128,7 @@
 }
 
 function mk_stat() {
-  echo "$1 : C: $(count $1 "GenuineCex") N: $(count $1 "NoCex") T: $(count $1 "Timeout") E: $(count $1 "Error")"
+  printf "%-40s : C: $(count $1 "GenuineCex") N: $(count $1 "NoCex") T: $(count $1 "Timeout") E: $(count $1 "Error")\n" "$1"
 }
 
 mk_stat "quickcheck_random"