diff options
author | Teddy <[email protected]> | 2014-05-07 11:55:51 +0800 |
---|---|---|
committer | Teddy <[email protected]> | 2014-05-07 11:55:51 +0800 |
commit | 30ecc9941b8da7a3c0108bc6117a1434e9caab94 (patch) | |
tree | 6a24b25086c63a4aa112fc6173b29c31793099d8 /test_semantics.sh | |
parent | bbb4de0693ba2b010cd2c44805d9a4ee4a2a8904 (diff) | |
parent | 52b29440f8f1310e0c074c8eb409e433c56bdd62 (diff) |
Merge /home/ymf/work/cibic into optimization
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 |