3
#SBATCH --partition=production
5
#SBATCH --mail-type=ALL # Type of email notification- BEGIN,END,FAIL,ALL
6
#SBATCH --mail-user={d803f16@cs.aau.dk}
8
OUTPUTFILE=HouseConstruction-PT-005-CTLCardinality-4-DFS.log
10
ulimit -S -v unlimited
12
{ timeout 60 mpirun -np 4 ~/launchpad/verifypn-dist-ctl/verifypn-linux64 -ctl dist /user/smni12/launchpad/verifypnTestFramework/testFramework/completeModelDB/HouseConstruction-PT-005/model.pnml /user/smni12/launchpad/verifypnTestFramework/testFramework/completeModelDB/HouseConstruction-PT-005/CTLCardinality.xml; } >> $OUTPUTFILE 2>&1
14
ulimit -S -v unlimited
15
echo Exitcode: $? >> $OUTPUTFILE 2>&1
17
mkdir testResults/dist-test-testmodelconf-2016-04-28T09:42-distczero-Munlimited-T60
18
mv $OUTPUTFILE testResults/dist-test-testmodelconf-2016-04-28T09:42-distczero-Munlimited-T60/$OUTPUTFILE
19
echo Successful result move