measure.sh 649 Bytes
Newer Older
Christian Müller's avatar
Christian Müller committed
1
# /bin/bash
2 3 4 5



TIMEOUT=20s
Christian Müller's avatar
Christian Müller committed
6 7 8 9

for FILE in results/*.ltl
do
	NAME=$(basename ${FILE} .ltl)
10 11
	METRICS="results/${NAME}.metrics"

Christian Müller's avatar
Christian Müller committed
12
	echo "Measuring ${FILE}"
13 14 15 16 17 18 19
	echo "Metrics File: ${METRICS}"
	echo "" >> ${METRICS}
	echo "Measuring on $(date):" >> ${METRICS}

	# echo "    FOLTL length: $(wc -m < results/${NAME}.foltl)" >> ${RESULT}
	# echo "    LTL length: $(wc -m < ${FILE})" >> ${RESULT}

Christian Müller's avatar
Christian Müller committed
20
	if
21
		timeout ${TIMEOUT} time -p aalta/Aalta_v2.0/aalta < ${FILE} >> ${METRICS} 2>&1 
Christian Müller's avatar
Christian Müller committed
22 23
	then
		echo "Finished successfully"
24
		echo "Finished successfully" >> ${METRICS}
Christian Müller's avatar
Christian Müller committed
25 26
	else
		echo "Timeout after ${TIMEOUT}"
27
		echo "Timeout after ${TIMEOUT}" >> ${METRICS}
Christian Müller's avatar
Christian Müller committed
28 29
	fi
done