diff options
author | Teddy <ted.sybil@gmail.com> | 2014-05-07 03:17:32 +0800 |
---|---|---|
committer | Teddy <ted.sybil@gmail.com> | 2014-05-07 03:17:32 +0800 |
commit | 52b29440f8f1310e0c074c8eb409e433c56bdd62 (patch) | |
tree | 6d91ceeb6594fe337541ed3f9f50cd33ee8881ca /test_semantics.sh | |
parent | 0ac22f0214ee283ce9bb053d691aeac823f875be (diff) |
rename
Diffstat (limited to 'test_semantics.sh')
-rwxr-xr-x | test_semantics.sh | 20 |
1 files changed, 20 insertions, 0 deletions
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 |