michael/lean2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Use "--trace-children=yes" option for MemCheck(valgrind) to handle

Browse source 
leantests shell script
This commit is contained in:
Soonho Kong 2013-09-10 10:47:04 -07:00
parent 4c67721d32
commit b04bdae763
1 changed files with 4 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

8
src/CTestConfig.cmake
View file

@ -9,10 +9,10 @@
set(CTEST_PROJECT_NAME "Lean") set(CTEST_PROJECT_NAME "Lean")
set(CTEST_NIGHTLY_START_TIME "00:00:00 EST") set(CTEST_NIGHTLY_START_TIME "00:00:00 EST")
#set(CTEST_DROP_METHOD "http") # Specify MEMCHECK Option.
#set(CTEST_DROP_SITE "my.cdash.org") # Note: We use "--trace-children=yes" to valgrind-ise child processes (follow execve)
#set(CTEST_DROP_LOCATION "/submit.php?project=Lean") SET (VALGRIND_COMMAND_OPTIONS "-q --tool=memcheck --leak-check=yes --show-reachable=yes --workaround-gcc296-bugs=yes --num-callers=50 --trace-children=yes")
#set(CTEST_DROP_SITE_CDASH TRUE) SET (CTEST_MEMORYCHECK_COMMAND_OPTIONS "-q --tool=memcheck --leak-check=yes --show-reachable=yes --workaround-gcc296-bugs=yes --num-callers=50 --trace-children=yes")
set(CTEST_DROP_METHOD "http") set(CTEST_DROP_METHOD "http")
set(CTEST_DROP_SITE "cmacslab2.modck.cs.cmu.edu") set(CTEST_DROP_SITE "cmacslab2.modck.cs.cmu.edu")