src/valgrind.sh

   1 #!/bin/sh
   2
   3 # Script to call valgrind with the right options
   4
   5 # Disable GC to avoid unpredictable long news (those that trigger the GC)
   6 NIT_GC_OPTION=malloc
   7 export NIT_GC_OPTION
   8
   9 # Skip usual methods with blocks to avoid loops
  10 exec valgrind --tool=callgrind --fn-skip=array___Array___iterate --fn-skip=abstract_collection___Collection___iterate --fn-skip=parser_prod___Visitor___enter_visit --fn-skip=standard___collection___abstract_collection___Collection___iterate --fn-skip=standard___collection___array___Array___iterate "$@"