← Back to branch summary

~verifypn-maintainers/verifypn/competition2015multiplePlaceBounds

« back to all changes in this revision

Viewing changes to Scripts/MCC15/competition-scripts-linux/classicSEQ.sh

  • Committer: Jiri Srba
  • Date: 2015-04-29 09:31:27 UTC
  • Revision ID: srba@cs.aau.dk-20150429093127-oi2wirjbbx4j27id
updated scripts

Show diffs side-by-side

added added

removed removed

Lines of Context:
Scripts/MCC15/competition-scripts-linux/classicSEQ.sh
8
8
 
9
9
export PATH="$PATH:/home/mcc/BenchKit/bin/classic"
10
10
VERIFYPN=$HOME/BenchKit/bin/classic/verifypn
 
11
VERIFYPNBOUNDS=$HOME/BenchKit/bin/classic/verifypn-bounds
11
12
#VERIFYPN=/Users/srba/dev/MCC-15/Testing/verifypn
12
13
TIMEOUT=300
13
14
TOOLNAME=classicSEQ
49
50
        done
50
51
} 
51
52
 
 
53
function verify-bounds {
 
54
        if [ ! -f $2 ]; then
 
55
                echo "File '$2' not found!" 
 
56
                exit 1 
 
57
        fi
 
58
        local NUMBER=`cat $2 | grep "<property>" | wc -l`
 
59
        for (( QUERY=1; QUERY<=$NUMBER; QUERY++ ))
 
60
        do
 
61
                echo
 
62
                echo "verifypn-bounds" $1 "-x" $QUERY "model.pnml" $2
 
63
                if [ $TIMEOUT = 0 ]; then
 
64
                        $VERIFYPNBOUNDS $1 "-x" $QUERY "model.pnml" $2
 
65
                else
 
66
                        timeout $TIMEOUT $VERIFYPNBOUNDS $1 "-x" $QUERY "model.pnml" $2
 
67
                        RETVAL=$?
 
68
                        if [ $RETVAL = 124 ] || [ $RETVAL =  125 ] || [ $RETVAL =  126 ] || [ $RETVAL =  127 ] || [ $RETVAL =  137 ] ; then
 
69
                                echo -ne "CANNOT_COMPUTE\n"
 
70
                        fi
 
71
                fi
 
72
        done
 
73
} 
52
74
 
53
75
case "$BK_EXAMINATION" in
54
76
 
68
90
                verify "-n -r 1" "ReachabilityComputeBounds.xml"
69
91
                ;;
70
92
 
 
93
        ReachabilityBounds)     
 
94
                echo            
 
95
                echo "***********************************************"
 
96
                echo "  TAPAAL " $TOOLNAME " verifying ReachabilityBounds"
 
97
                echo "***********************************************"
 
98
                verify-bounds "-n -r 1" "ReachabilityBounds.xml"
 
99
                ;;
 
100
 
71
101
        ReachabilityDeadlock)
72
102
                echo            
73
103
                echo "**********************************************"