diff options
Diffstat (limited to 'test/monniaux/picosat-965/onefile/testcmp.sh')
-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 |