← Back to branch summary

~tapaal-ltl/verifypn/composed-heuristics

« back to all changes in this revision

Viewing changes to Scripts/MCC21/competition-scripts/BenchKit_head.sh

  • Committer: Simon Virenfeldt
  • Date: 2021-04-09 07:18:21 UTC
  • mfrom: (226.1.38 ltl-trunk)
  • Revision ID: simwir1@gmail.com-20210409071821-taj15dahlqcp1kp2
Merged lp:~tapaal-ltl/verifypn/ltl-trunk

Show diffs side-by-side

added added

removed removed

Lines of Context:
Scripts/MCC21/competition-scripts/BenchKit_head.sh
 
1
#!/bin/bash
 
2
 
 
3
# This is the initialization script for the participation of TAPAAL
 
4
# untimed sequntial engine verifypn in the Petri net competition 2016.
 
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
# export PATH="$PATH:/home/mcc/BenchKit/bin/"
 
9
 
 
10
echo $BK_TOOL
 
11
 
 
12
case "$BK_TOOL" in
 
13
    tapaal)
 
14
        echo "---> " $BK_TOOL " --- TAPAAL"
 
15
        /home/mcc/BenchKit/tapaal.sh
 
16
                ;;
 
17
    *)
 
18
        echo "---> Error: Unrecognized BK_TOOL name !!!"  
 
19
        exit 0
 
20
        ;;
 
21
esac