refactoring

tools/ps_validate.sh

@@ -3,6 +3,8 @@
 #
 # Assumption: we're in the top level directory created by the peasoup toolchain
 #
+# Validate SPRI transform against a suite of input/output pairs
+#
 
 STRATAFIED_BINARY=$1        # stratafied subject program
 BSPRI=$2                    # transformation specificiation SPRI file

tools/ps_validate_ss.sh

@@ -22,9 +22,9 @@ ORIG_VAL=$?
 STRATA_SPRI_FILE="$BSPRI" $STRATAFIED_BINARY > a0.strata.out 2> a0.strata.err
 STRATA_VAL=$?
 
-if [ ! "$ORIG_VAL" = "$STRATA_VAL" ];
-  echo "ps_validate_ss.sh: BSPRI=$BSPRI: does not validate" 
-  exit 1
-then
+if [ "$ORIG_VAL" = "$STRATA_VAL" ]; then
   exit 0
+else
+  echo "ps_validate_ss.sh: BSPRI=$BSPRI: does not validate ($ORIG_VAL/$STRATA_VAL)" 
+  exit 1
 fi