1prog: err_disable4
2vgopts: -q --num-callers=3
3stderr_filter: ../../helgrind/tests/filter_stderr
4## This is so as to get rid of the "Thread #" lines, which
5## otherwise perturb the output due to differences in 
6## thread scheduling between runs.
7