diff options
| author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-25 08:16:53 +0200 |
|---|---|---|
| committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2020-07-25 08:16:53 +0200 |
| commit | dd28826f0b9e69d6380e4741f409115489c1de38 (patch) | |
| tree | a08570391d882bda178b58844fe13984997236a7 /test | |
| parent | 4e89be4cf2de3585092fdd1631bed8ba6ed83bce (diff) | |
| download | compcert-kvx-dd28826f0b9e69d6380e4741f409115489c1de38.tar.gz compcert-kvx-dd28826f0b9e69d6380e4741f409115489c1de38.zip | |
run some more valgrind in case of optimizations
Diffstat (limited to 'test')
| -rwxr-xr-x | test/monniaux/picosat-965/onefile/testcmp.sh | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/test/monniaux/picosat-965/onefile/testcmp.sh b/test/monniaux/picosat-965/onefile/testcmp.sh index bfcc7e7f..74a92cd7 100755 --- a/test/monniaux/picosat-965/onefile/testcmp.sh +++ b/test/monniaux/picosat-965/onefile/testcmp.sh @@ -46,6 +46,11 @@ if [ $? -ge 100 ]; then exit 41 ; fi +timeout 1 valgrind --log-file=picosat.cc0.valgrind.log ./picosat.cc0.host $DATA 2>&1 > picosat.cc0.valgrind.out +if [ $? -ge 100 ]; +then exit 50 ; +fi + 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 ; @@ -75,6 +80,10 @@ if ! cmp picosat.cc0.out picosat.cc1.out ; then exit 60 ; fi +if ! cmp picosat.cc0.out picosat.cc0.valgrind.out ; +then exit 70 ; +fi + if ! cmp picosat.cc1.out picosat.cc1.valgrind.out ; then exit 61 ; fi |