1 2header="""#!/usr/bin/env bash 3# This script was created by gmakegentest.py 4 5mpiexec='@MPIEXEC@' 6exec=@EXEC@ 7testname='@TESTNAME@' 8label=@LABEL@ 9runfiles=@LOCALRUNFILES@ 10 11. @TESTROOT@/petsc_harness.sh 12""" 13 14datfilepath="@DATAFILEPATH@" 15footer='petsc_testend "@TESTSROOT@" ' 16 17todoline='printf "ok ${label} # TODO @TODOCOMMENT@\\n"' 18skipline='printf "ok ${label} # SKIP @SKIPCOMMENT@\\n"' 19mpitest='petsc_testrun "${mpiexec} -n @NSIZE@ ${exec} @ARGS@" @REDIRECT_FILE@ ${testname}.err "${label}" @FILTER@' 20#Better labelling 21#mpitest='petsc_testrun "${mpiexec} -n @NSIZE@ ${exec} @ARGS@" @REDIRECT_FILE@ ${testname}.err "${label}-@ARGS@" @FILTER@' 22difftest='petsc_testrun "${PETSC_DIR}/bin/petscdiff @REDIRECT_FILE@ @OUTPUT_FILE@" diff-${testname}.out diff-${testname}.out diff-${label} ""' 23filterdifftest='petsc_testrun "@FILTER_OUTPUT@ @OUTPUT_FILE@ | diff @REDIRECT_FILE@ -" diff-${testname}.out diff-${testname}.out diff-${label} ""' 24commandtest='petsc_testrun "@COMMAND@" @REDIRECT_FILE@ ${testname}.err cmd-${label} @FILTER@' 25