From 52b29440f8f1310e0c074c8eb409e433c56bdd62 Mon Sep 17 00:00:00 2001
From: Teddy <ted.sybil@gmail.com>
Date: Wed, 7 May 2014 03:17:32 +0800
Subject: rename

---
 test_semantics.sh | 20 ++++++++++++++++++++
 1 file changed, 20 insertions(+)
 create mode 100755 test_semantics.sh

(limited to 'test_semantics.sh')

diff --git a/test_semantics.sh b/test_semantics.sh
new file mode 100755
index 0000000..c84fc2a
--- /dev/null
+++ b/test_semantics.sh
@@ -0,0 +1,20 @@
+#! /bin/bash
+dir=semantics_data/*.c
+if [ "$#" != 0 ]; then
+    dir=$1
+fi
+res=0
+for file in $dir
+do
+    gcc $file -o /dev/null &> /dev/null
+    gcc_ret="$?"
+    ./cibic $file &> /dev/null
+    ret=$?
+    if [ $ret -ne $gcc_ret ]; then
+        echo "Failed on $file"
+        res=1
+    else
+        echo "ok $file: $ret"
+    fi
+done
+exit $res
-- 
cgit v1.2.3-70-g09d2