Commit a1fd605d authored by Philipp Meyer's avatar Philipp Meyer

Removed old run-benchmarks script

parent 965efd55
#!/bin/bash
benchmarks=( 'mist' 'wahl-kroening' 'soter' )
extensions=( 'spec' )
executable='../../slapnet'
for benchmark in ${benchmarks[@]}; do
benchmark_dir="$benchmark"
>$benchmark_dir/positive-slapnet.list
>$benchmark_dir/dontknow-slapnet.list
>$benchmark_dir/timeout-slapnet.list
>$benchmark_dir/error-slapnet.list
for ext in ${extensions[@]}; do
for file in `find $benchmark_dir -name "*.$ext"`; do
T="$(date +%s%N)"
(
set -o pipefail;
timeout 60 $executable --$ext --no-given-properties --termination-by-reachability -o $file.terminating $file | tee $file.out
)
result=$?
T=$(($(date +%s%N)-T))
if [[ result -eq 0 ]]; then
list='positive'
elif [[ result -eq 2 ]]; then
list='dontknow'
elif [[ result -eq 124 || result -eq 137 ]]; then
list='timeout'
else
list='error'
fi
echo $T $file >>$benchmark_dir/$list-slapnet.list
done
done
done
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