13
echo "Missing options"
22
echo "No timing given, using 5 seconds"
30
for f in $(ls test_models) ; do
32
NP=$(grep "<property>" "test_models/$f/query.xml" | wc -l)
33
for Q in $(seq 1 $NP ) ; do
35
res=$(eval "timeout $T $1 $2 -x $Q test_models/$f/model.pnml test_models/$f/query.xml " | grep "Query is ")
36
if [ ! -z "$res" ] ; then
37
echo "$f:$Q:$res" >> $F