← Back to branch summary

~tapaal-dist-ctl/verifypn/verifypnTestFramework

« back to all changes in this revision

Viewing changes to testFramework/slurm_conf/HouseConstruction-PT-005-DFS-2016-04-28T09:41-1-CTLCardinality-distczero.sh

  • Committer: tobiasj1991 at gmail
  • Date: 2016-04-28 10:42:22 UTC
  • Revision ID: tobiasj1991@gmail.com-20160428104222-6vcahq0z3xnzncje
Cleaning up

Show diffs side-by-side

added added

removed removed

Lines of Context:
testFramework/slurm_conf/HouseConstruction-PT-005-DFS-2016-04-28T09:41-1-CTLCardinality-distczero.sh
1
 
BATCH --nodes None
2
 
#SBATCH --partition=production
3
 
#SBATCH -n 1
4
 
#SBATCH --mail-type=ALL # Type of email notification- BEGIN,END,FAIL,ALL
5
 
#SBATCH --mail-user={d803f16@cs.aau.dk}
6
 
 
7
 
OUTPUTFILE=HouseConstruction-PT-005-CTLCardinality-1-DFS.log
8
 
 
9
 
ulimit -S -v unlimited
10
 
 
11
 
{ 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
12
 
 
13
 
ulimit -S -v unlimited
14
 
echo Exitcode: $? >> $OUTPUTFILE 2>&1
15
 
echo Run Complete!
16
 
mkdir testResults/test-dist-testmodelconf-2016-04-28T09:41-distczero-Munlimited-T60
17
 
mv $OUTPUTFILE testResults/test-dist-testmodelconf-2016-04-28T09:41-distczero-Munlimited-T60/$OUTPUTFILE
18
 
echo Successful result move
19
 
echo $SLURM_NODELIST
20
 
echo $SLURM_NPROCS
21
 
pwd
22
 
hostname
23
 
rm -- "$0"
24
 
~                                                                                                                                                                                                                  
25
 
~                                                                                                                                                                                                                  
26
 
~