← Back to branch summary

~tapaal-dist/verifypn/verifypnLTSmin

« back to all changes in this revision

Viewing changes to INPUT_MC/Dekker-PT-020/BenchKit_head.sh

  • Committer: Isabella Kaufmann
  • Date: 2015-05-07 12:00:42 UTC
  • Revision ID: ikaufm12@student.aau.dk-20150507120042-7yqz67vqrom2rz4v
new deadlock check models

Show diffs side-by-side

added added

removed removed

Lines of Context:
INPUT_MC/Dekker-PT-020/BenchKit_head.sh
1
 
#!/bin/bash
2
 
 
3
 
# This is the initialization script for the participation of TAPAAL
4
 
# untimed engine verifypn in the Petri net competition 2014.
5
 
 
6
 
# BK_EXAMINATION: it is a string that identifies your "examination"
7
 
# BK_TOOL: it is the name of the TAPAAL tool variant to be invoked
8
 
 
9
 
# PREFIX is exported from run.sh instead
10
 
 
11
 
case "$BK_TOOL" in
12
 
 
13
 
        classicSEQ)
14
 
                echo "---> " $BK_TOOL " --- TAPAAL Classic Sequential"
15
 
                $PREFIX/classicSEQ.sh
16
 
                ;;
17
 
        classicMC)
18
 
                echo "---> " $BK_TOOL " --- TAPAAL Classic Multicore"
19
 
                $PREFIX/classicMC.sh
20
 
                ;;
21
 
        ontheflySEQ)
22
 
                echo "---> " $BK_TOOL " --- TAPAAL On the Fly Sequential"
23
 
                $PREFIX/ontheflySEQ.sh
24
 
                ;;
25
 
        ontheflyMC)
26
 
                echo "---> " $BK_TOOL " --- TAPAAL On the Fly Multicore"
27
 
                $PREFIX/ontheflyMC.sh
28
 
                ;;
29
 
        ontheflyPAR)
30
 
                echo "---> " $BK_TOOL " --- TAPAAL On the Fly Truly Parallel on " $CORES " cores"
31
 
                $PREFIX/ontheflyPAR.sh
32
 
                ;;
33
 
        *)
34
 
                echo "---> Wrong TAPAAL tool variant name"      
35
 
                exit 0
36
 
                ;;
37
 
esac