-
Notifications
You must be signed in to change notification settings - Fork 0
/
BenchKit_head.sh
executable file
·23 lines (18 loc) · 1.13 KB
/
BenchKit_head.sh
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
#!/bin/bash
#############################################################################
# This is an example for the MCC'2015
#############################################################################
#############################################################################
# In this script, you will affect values to your tool in order to let
# BenchKit launch it in an apropriate way.
#############################################################################
# BK_EXAMINATION: it is a string that identifies your "examination"
set -x
export BINDIR=$BK_BIN_PATH/../
export MODEL=$(pwd)
if [[ $BK_EXAMINATION = StateSpace && -f modelMain.xml ]] ;
then
$BINDIR/its-reach-linux64 -i modelMain.xml -t ITSXML -ssDR 5 --stats | sed 's/Max variable value :/STATE_SPACE MAX_TOKEN_IN_PLACE /' | sed 's/Maximum sum along a path :/STATE_SPACE MAX_TOKEN_PER_MARKING /' | sed 's/Exact state count :/STATE_SPACE STATES /' | sed 's/Total edges in reachability graph :/STATE_SPACE TRANSITIONS /'
else
$BINDIR/runeclipse.sh $MODEL $BK_EXAMINATION -its -ltsmin -greatspnpath $BINDIR/greatspn/ -order META -manyOrder -smt -timeout $BK_TIME_CONFINEMENT
fi