diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-05-31 21:26:17 +0200 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-05-31 21:26:17 +0200 |
commit | 1e3b0a8b86fb661c66ebdacdc0f1ff42aa25a3b0 (patch) | |
tree | dccd98b73050b71e708ede27b05b5f26a8d6eb2c | |
parent | 271f87ba08f42340900378c0797511d4071fc1b8 (diff) | |
download | compcert-kvx-1e3b0a8b86fb661c66ebdacdc0f1ff42aa25a3b0.tar.gz compcert-kvx-1e3b0a8b86fb661c66ebdacdc0f1ff42aa25a3b0.zip |
remove accidentally pushed test scripts
-rwxr-xr-x | test/c/cscript.sh | 21 | ||||
-rwxr-xr-x | test/c/cscript2.sh | 5 | ||||
-rwxr-xr-x | test/c/pbcompare.sh | 18 |
3 files changed, 0 insertions, 44 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 diff --git a/test/c/cscript2.sh b/test/c/cscript2.sh deleted file mode 100755 index 350c392d..00000000 --- a/test/c/cscript2.sh +++ /dev/null @@ -1,5 +0,0 @@ -#/bin/bash - -/home/gourdinl/Work/VERIMAG/Compcert_riscv_third/ccomp -static -fprepass= revlist -U__GNUC__ -stdlib ../../runtime -dclight -dasm -c qsort.c > log 2>&1 - -cat log | ack "instead of Some" diff --git a/test/c/pbcompare.sh b/test/c/pbcompare.sh deleted file mode 100755 index b47c83c4..00000000 --- a/test/c/pbcompare.sh +++ /dev/null @@ -1,18 +0,0 @@ -#!/bin/bash - -CCREF="/home/yuki/Work/VERIMAG/Compcert_riscv_bis/ccomp -static -S -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 -S -stdlib /home/yuki/Work/VERIMAG/Compcert_riscv_third/runtime -fno-expanse-rtlcond -fno-expanse-others" - -for prog in *.c; do - $CCREF $prog > refout 2>&1 - $CCTEST $prog > testout 2>&1 - sort -k1 -n -t, refout -o refout - sort -k1 -n -t, testout -o testout - if cmp -s refout testout; then - echo "$prog passed" - else - echo "$prog failed" - diff -y refout testout - exit 1 - fi -done |