From dd28826f0b9e69d6380e4741f409115489c1de38 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Sat, 25 Jul 2020 08:16:53 +0200 Subject: run some more valgrind in case of optimizations --- test/monniaux/picosat-965/onefile/testcmp.sh | 9 +++++++++ 1 file changed, 9 insertions(+) (limited to 'test/monniaux/picosat-965') 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 -- cgit