diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-26 12:22:59 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-26 12:22:59 +0200 |
| commit | a643dc0d12d77eadc60d30dc822cec20d13bb1dc (patch) | |
| tree | 31fdb531bdad566fe148f024c7194bb50195e2db /test/monniaux | |
| parent | a7ba9012a490f44976d4301fdc602be27ac5eb02 (diff) | |
| download | compcert-kvx-a643dc0d12d77eadc60d30dc822cec20d13bb1dc.tar.gz compcert-kvx-a643dc0d12d77eadc60d30dc822cec20d13bb1dc.zip | |
cycle times
Diffstat (limited to 'test/monniaux')
| -rwxr-xr-x | test/monniaux/reduced_picosat/testcmp.sh | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/monniaux/reduced_picosat/testcmp.sh b/test/monniaux/reduced_picosat/testcmp.sh index 7939be85..8dc93de9 100755 --- a/test/monniaux/reduced_picosat/testcmp.sh +++ b/test/monniaux/reduced_picosat/testcmp.sh @@ -1,5 +1,5 @@ DEFINES="-DNALARM -DNZIP -DNGETRUSAGE -DNDEBUG" -COMPCERT=/local/monniaux/Kalray/mppa-RTLpathSE-verif-hash-junk +COMPCERT=/home/monniaux/work/Kalray/mppa-RTLpathSE-verif-hash-junk DATA=$COMPCERT/test/monniaux/picosat-965/tiny.dat CCOMP="$COMPCERT/ccomp -fbitfields -fduplicate 2 -fall-loads-nontrap $DEFINES" GCC="kvx-cos-gcc -O -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES" @@ -7,10 +7,10 @@ HOSTCC0="gcc -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES" HOSTCC1="gcc -O -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES" HOSTCC2="gcc -O -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror -fsanitize=undefined -fsanitize=address $DEFINES" HOSTCC3="gcc -O3 -Wimplicit -Wuninitialized -Wmaybe-uninitialized -Werror $DEFINES" -HOSTCC4="clang -Wimplicit -Wuninitialized -Werror $DEFINES" -HOSTCC5="clang -Wimplicit -Wuninitialized -Werror -fsanitize=undefined -fsanitize=address $DEFINES" +HOSTCC4="/usr/bin/clang -Wimplicit -Wuninitialized -Werror $DEFINES" +HOSTCC5="/usr/bin/clang -Wimplicit -Wuninitialized -Werror -fsanitize=undefined -fsanitize=address $DEFINES" CFILES="reduced_picosat.c" -SIMU="kvx-cluster --timeout=100000 -- " +SIMU="kvx-cluster --timeout=10000000 -- " if ! $HOSTCC0 $CFILES -o picosat.cc0.host ; then exit 30 ; |