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@ 10petsc_dir=@PETSC_DIR@ 11 12. ${petsc_dir}/config/petsc_harness.sh 13""" 14 15datfilespath="@DATAFILESPATH@" 16footer='petsc_testend "@TESTROOT@" ' 17 18todoline='printf "ok ${label} # TODO @TODOCOMMENT@\\n"' 19skipline='printf "ok ${label} # SKIP @SKIPCOMMENT@\\n"' 20mpitest='petsc_testrun "${mpiexec} -n @NSIZE@ ${exec} @ARGS@" @REDIRECT_FILE@ ${testname}.err "${label}" @FILTER@' 21#Better labelling 22#mpitest='petsc_testrun "${mpiexec} -n @NSIZE@ ${exec} @ARGS@" @REDIRECT_FILE@ ${testname}.err "${label}-@ARGS@" @FILTER@' 23difftest='petsc_testrun "${petsc_dir}/bin/petscdiff @OUTPUT_FILE@ @REDIRECT_FILE@" diff-${testname}.out diff-${testname}.out diff-${label} ""' 24filterdifftest='petsc_testrun "@FILTER_OUTPUT@ @OUTPUT_FILE@ | diff - @REDIRECT_FILE@" diff-${testname}.out diff-${testname}.out diff-${label} ""' 25commandtest='petsc_testrun "@COMMAND@" @REDIRECT_FILE@ ${testname}.err cmd-${label} @FILTER@' 26