diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-24 19:37:45 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-24 19:37:45 +0200 |
| commit | 2ff9a87d3603f010e7831e9d0a8d5c029dcd4846 (patch) | |
| tree | 3db0b4ffa806ef43de9c50f7ee1b50f15b33a5f2 /test/monniaux/picosat-965 | |
| parent | 01478f937f0f97f78f793c6b037b5ab4b57388c2 (diff) | |
| download | compcert-kvx-2ff9a87d3603f010e7831e9d0a8d5c029dcd4846.tar.gz compcert-kvx-2ff9a87d3603f010e7831e9d0a8d5c029dcd4846.zip | |
> vs tee
Diffstat (limited to 'test/monniaux/picosat-965')
| -rwxr-xr-x | test/monniaux/picosat-965/onefile/testcmp.sh | 18 |
1 files changed, 9 insertions, 9 deletions
diff --git a/test/monniaux/picosat-965/onefile/testcmp.sh b/test/monniaux/picosat-965/onefile/testcmp.sh index ffeb5e03..bab609e2 100755 --- a/test/monniaux/picosat-965/onefile/testcmp.sh +++ b/test/monniaux/picosat-965/onefile/testcmp.sh @@ -31,32 +31,32 @@ if ! $HOSTCC5 $CFILES -o picosat.cc5.host ; then exit 35 ; fi -timeout 1 ./picosat.cc1.host $DATA 2>&1 | tee picosat.cc1.out +timeout 1 ./picosat.cc1.host $DATA 2>&1 > picosat.cc1.out if [ $? -ge 100 ]; then exit 41 ; fi -timeout 1 valgrind --log-file=picosat.cc1.valgrind.log ./picosat.cc1.host $DATA 2>&1 | tee picosat.cc1.valgrind.out +timeout 1 valgrind --log-file=picosat.cc1.valgrind.log ./picosat.cc1.host $DATA 2>&1 > picosat.cc1.valgrind.out if [ $? -ge 100 ]; then exit 51 ; fi -timeout 1 ./picosat.cc2.host $DATA 2>&1 | tee picosat.cc2.out +timeout 1 ./picosat.cc2.host $DATA 2>&1 > picosat.cc2.out if [ $? -ge 100 ]; then exit 42 ; fi -timeout 1 ./picosat.cc3.host $DATA 2>&1 | tee picosat.cc3.out +timeout 1 ./picosat.cc3.host $DATA 2>&1 > picosat.cc3.out if [ $? -ge 100 ]; then exit 43 ; fi -timeout 1 ./picosat.cc4.host $DATA 2>&1 | tee picosat.cc4.out +timeout 1 ./picosat.cc4.host $DATA 2>&1 > picosat.cc4.out if [ $? -ge 100 ]; then exit 44 ; fi -timeout 1 ./picosat.cc5.host $DATA 2>&1 | tee picosat.cc5.out +timeout 1 ./picosat.cc5.host $DATA 2>&1 > picosat.cc5.out if [ $? -ge 100 ]; then exit 45 ; fi @@ -85,7 +85,7 @@ if ! $CCOMP -fprepass -fprepass= list $CFILES -o picosat.prepass.target ; then exit 3 ; fi -$SIMU ./picosat.gcc.target $DATA 2>&1 | tee picosat.gcc.out +$SIMU ./picosat.gcc.target $DATA 2>&1 > picosat.gcc.out if [ $? -ge 100 ]; then exit 4 ; fi @@ -98,7 +98,7 @@ if grep timeout picosat.gcc.out ; then exit 8 ; fi -$SIMU ./picosat.ccomp.target $DATA 2>&1 | tee picosat.ccomp.out +$SIMU ./picosat.ccomp.target $DATA 2>&1 > picosat.ccomp.out if [ $? -ge 100 ]; then exit 5 ; fi @@ -111,7 +111,7 @@ if ! cmp picosat.gcc.out picosat.ccomp.out ; then exit 6 ; fi -$SIMU ./picosat.prepass.target $DATA 2>&1 | tee picosat.prepass.out +$SIMU ./picosat.prepass.target $DATA 2>&1 > picosat.prepass.out if [ $? -ge 100 ]; then exit 0 ; fi |