scripts/valgrind-wrapper.sh
author Peter Kovacs <kpeter@inf.elte.hu>
Thu, 15 Nov 2012 07:17:48 +0100
changeset 1013 f6f6896a4724
permissions -rwxr-xr-x
Ensure strongly polynomial running time for CycleCanceling (#436)
The number of iterations performed by Howard's algorithm is limited.
If the limit is reached, a strongly polynomial implementation,
HartmannOrlinMmc is executed to find a minimum mean cycle.
This iteration limit is typically not reached, thus the combined
method is practically equivalent to Howard's algorithm, while it
also ensures the strongly polynomial time bound.
     1 #!/bin/sh
     2 
     3 # Run in valgrind, with leak checking enabled
     4 
     5 valgrind -q --leak-check=full "$@" 2> .valgrind-log
     6 
     7 # Save the test result
     8 
     9 result="$?"
    10 
    11 # Valgrind should generate no error messages
    12 
    13 log_contents="`cat .valgrind-log`"
    14 
    15 if [ "$log_contents" != "" ]; then
    16         cat .valgrind-log >&2
    17         result=1
    18 fi
    19 
    20 rm -f .valgrind-log
    21 
    22 exit $result