Checker script checks the equality of output

check-test-mls.sh

@@ -1,20 +1,34 @@
 success=0
 total=0
+
+ARCH=${ARCH:-x86}
+
+NECESSARY_FILES="assets/stub.c assets/${ARCH}/libmincaml.S"
+
 if cargo build --release; then
-    for i in test/*.ml; do
-        echo "---- ${i} ----"
-        cat ${i}
-	if cargo run --release -q -- ${i} ${i}.asm >/dev/null; then
-	    echo "[OK] $i"
-            cat ${i}.asm
-            echo; echo
-	    success=`expr $success + 1`
-	else
-	    echo "[Error] $i"
-	fi
-	total=`expr $total + 1`
-    done
-    echo "Success rate: $success/$total"
+  for i in test/*.ml; do
+    echo "---- ${i} ----"
+    if cargo run --release -q -- ${i} ${i}.asm >/dev/null 2>&1; then
+      if cc ${i}.asm ${NECESSARY_FILES} -o ${i}.x; then
+        if ./${i}.x >${i}.out; then
+          # testrun ml
+          ocaml ${i} >${i}.ans
+          if diff ${i}.out ${i}.ans; then
+            echo "[OK] $i"
+            success=$((success+1))
+          else
+            echo "[Output Error] ${i}"
+          fi
+        fi
+      else
+  	    echo "[Link Error] $i"
+      fi
+    else
+      echo "[Compile Error] $i"
+    fi
+    total=$((total+1))
+  done
+  echo "Success rate: $success/$total"
 else
     echo "build error"
     exit 1