3
# This is the initialization script for the participation of TAPAAL
4
# untimed engine verifypn in the Petri net competition 2014.
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
9
# PREFIX is exported from run.sh instead
14
echo "---> " $BK_TOOL " --- TAPAAL Classic Sequential"
18
echo "---> " $BK_TOOL " --- TAPAAL Classic Multicore"
22
echo "---> " $BK_TOOL " --- TAPAAL On the Fly Sequential"
23
$PREFIX/ontheflySEQ.sh
26
echo "---> " $BK_TOOL " --- TAPAAL On the Fly Multicore"
30
echo "---> " $BK_TOOL " --- TAPAAL On the Fly Truly Parallel on " $CORES " cores"
31
$PREFIX/ontheflyPAR.sh
34
echo "---> Wrong TAPAAL tool variant name"