Commit 81d3e9d3 authored by Etienne Renault's avatar Etienne Renault
Browse files

benchs: clean script

*  benchs/run-benchmark.sh: Here.
parent 7520ad45
......@@ -60,22 +60,24 @@ for model in $FILES; do
sed 's/}//g' | sed 's/ *//g' | sed 's/,/;/g')
start=$(date +%s.%N)
../go2pins -f -o $filename -rers "$rers_inputs" $model > /dev/null 2>&1
echo ../go2pins -f -o $filename -rers "$rers_inputs" $model
#> /dev/null 2>&1
end=$(date +%s.%N)
transpile_time=$(python -c "print ('%.3f' % (${end} - ${start}))")
#transpile_time=$(python -c "print ('%.3f' % (${end} - ${start}))")
echo " - Go2Pins processing:\t\t$transpile_time seconds"
rm -Rf $COCACHE
start=$(date +%s.%N)
make -C $filename > /dev/null 2>&1
make -C $filename > /dev/null
#2>&1
end=$(date +%s.%N)
compile_time=$(python -c "print ('%.3f' % (${end} - ${start}))")
#compile_time=$(python -c "print ('%.3f' % (${end} - ${start}))")
echo " - Compiling output:\t\t\t$compile_time seconds"
exit 1
total_time=`echo "$compile_time + $transpile_time"| bc`
echo " - Total Time:\t\t\t$total_time seconds"
final_num_var=$($filename/go2pins-mc --list-variables | grep '\-' | wc -l)
echo " - Number of variables:\t\t$final_num_var"
......@@ -112,7 +114,6 @@ for i in 90 80 70 60 50 40 30 20 10; do
cd sqrt_prime_fibo_$PERCENT
make > /dev/null 2>&1
RESULT=$(./go2pins-mc -kripke-size| sed "s/kripke/$PERCENT/g" | grep "^#")
cat $OUTPUT_BB
ST=$(echo $RESULT | awk -F',' '{print $2}')
TR=$(echo $RESULT | awk -F',' '{print $3}')
echo " - States: $ST states"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment