diff options
Diffstat (limited to 'test/c/cscript.sh')
| -rwxr-xr-x | test/c/cscript.sh | 21 |
1 files changed, 0 insertions, 21 deletions
diff --git a/test/c/cscript.sh b/test/c/cscript.sh deleted file mode 100755 index f797df7b..00000000 --- a/test/c/cscript.sh +++ /dev/null @@ -1,21 +0,0 @@ -#!/bin/bash - -CCREF="/home/yuki/Work/VERIMAG/Compcert_riscv_bis/ccomp -static -stdlib /home/yuki/Work/VERIMAG/Compcert_riscv_bis/runtime -fno-expanse-rtlcond -fno-expanse-others" -CCTEST="/home/yuki/Work/VERIMAG/Compcert_riscv_third/ccomp -static -stdlib /home/yuki/Work/VERIMAG/Compcert_riscv_third/runtime -fno-expanse-rtlcond -fno-expanse-others" - -$CCREF nsieve.c > refout 2>&1 -mv a.out ref.out -$CCTEST nsieve.c > testout 2>&1 -#sort -k1 -n -t, refout -o refout -#sort -k1 -n -t, testout -o testout -qemu-riscv64 ref.out > logref 2>&1 -{ qemu-riscv64 a.out > logtest 2>&1; } 2> logtest -if cat logref | ack "Primes"; then - if cmp -s logref logtest; then - exit 1 - else - exit 0 - fi -else - exit 1 -fi |