← Back to branch summary

~verifypn-maintainers/verifypn/emptyTracePrint

« back to all changes in this revision

Viewing changes to Scripts/MCC18/cluster-scripts/run_benchkit.sh

  • Committer: Jiri Srba
  • Date: 2018-04-25 11:43:19 UTC
  • Revision ID: srba.jiri@gmail.com-20180425114319-wa859k6ggdy0tclc
added MCC18 competition scripts, qemu guide and cluster scripts

Show diffs side-by-side

added added

removed removed

Lines of Context:
Scripts/MCC18/cluster-scripts/run_benchkit.sh
 
1
#!/bin/bash
 
2
#SBATCH --time=1:05:00
 
3
#SBATCH --mail-user=srba@cs.aau.dk
 
4
#SBATCH --mail-type=FAIL
 
5
#SBATCH --mem_bind=verbose,local
 
6
#SBATCH --partition=production
 
7
 
 
8
let "m=1024*1024*15"
 
9
ulimit -v $m
 
10
 
 
11
 
 
12
export BK_TOOL=tapaal
 
13
export PREFIX=./scripts/$1
 
14
export VERIFYPN=./binaries/$2
 
15
export MODEL_PATH=./$5/$3
 
16
export BK_EXAMINATION=$4
 
17
 
 
18
mkdir -p BENCHKIT/$1/$2/
 
19
echo "$PREFIX/BenchKit_head.sh &> BENCHKIT/$1/$2/${3}.${4}"
 
20
 
 
21
$PREFIX/BenchKit_head.sh &> BENCHKIT/$1/$2/${3}.${4}
 
22