diff -r cfff88de2ff5 -r 21f41e08457d marking/test
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/marking/test	Wed Dec 21 01:19:25 2016 +0000
@@ -0,0 +1,92 @@
+#!/bin/bash
+set -e
+
+out=${1:-output-test}
+
+
+function scala_vars {
+   (egrep '\bvar\b|\breturn\b|ListBuffer|mutable' "$1" 2> /dev/null 1> /dev/null)
+}
+
+
+# compilation tests
+
+function scala_compile {
+  (scala "$1" 2> /dev/null 1> /dev/null) 
+}
+
+
+# functional tests
+
+function scala_assert {
+  (scala -i "$1" "$2" -e "" 2> /dev/null 1> /dev/null)
+}
+
+
+
+# var, return, ListBuffer test
+#
+#echo "re.scala does not contain vars, returns etc?" | tee -a $out
+
+if (scala_vars re.scala)
+then
+  #echo "  --> fail" | tee -a $out
+  tsts0=$(( 1 ))
+else
+  #echo "  --> yes" | tee -a $out
+  tsts0=$(( 0 )) 
+fi
+
+
+# compilation test
+if  [ $tsts0 -eq 0 ]
+then    
+  #echo "re.scala runs?" | tee -a $out
+
+  if (scala_compile re.scala.bak)
+  then
+    #echo "  --> yes" | tee -a $out
+    tsts1=$(( 0 ))
+  else
+    #echo "  --> scala re.scala did not run successfully" | tee -a $out
+    tsts1=$(( 1 )) 
+  fi
+else
+  tsts1=$(( 1 ))     
+fi
+
+
+if [ $tsts1 -eq 0 ]
+then
+  if (scala_assert "re.scala.bak" "../../../marking/re1d_test.scala")
+  then
+    echo "  --> success" | tee -a $out
+    t1=$(( 1 ))
+  else
+    echo "  --> test failed" | tee -a $out
+    t1=$(( 0 ))   
+  fi
+else  
+  t1=$(( 0 ))
+fi
+
+if [ $tsts1 -eq 0 ]
+then
+  if (scala_assert "re.scala.bak" "../../../marking/re1d_bug_test.scala")
+  then
+    echo "  bug --> success" | tee -a $out
+    t2=$(( 1 ))
+  else
+    echo "  bug --> test failed" | tee -a $out
+    t2=$(( 0 ))  
+  fi
+else  
+  t2=$(( 0 ))
+fi
+
+if [ $t1 -ne $t2 ]
+then
+  echo "disagree"
+  pwd
+fi
+