In January 2021 we will introduce a 10 GB quota for project repositories. Higher limits for individual projects will be available on request. Please see https://doku.lrz.de/display/PUBLIC/GitLab for more information.

Commit 5f542a3d authored by Philipp Meyer's avatar Philipp Meyer

Get structural information for benchmarks with structure option

parent cc5eb08f
...@@ -16,6 +16,7 @@ timelimit=$((1 * 3600)) ...@@ -16,6 +16,7 @@ timelimit=$((1 * 3600))
properties=( 'termination' 'consensus' 'correctness' ) properties=( 'termination' 'consensus' 'correctness' )
prop_options=( '--layered-termination' '--strong-consensus' '--correctness' ) prop_options=( '--layered-termination' '--strong-consensus' '--correctness' )
prop_refinements=( 'Checking SAT of layered termination' 'Checking SAT of trap' 'Checking SAT of trap' ) prop_refinements=( 'Checking SAT of layered termination' 'Checking SAT of trap' 'Checking SAT of trap' )
structure_option='--structure'
mkdir -p $benchmark_dir/$out_dir mkdir -p $benchmark_dir/$out_dir
mkdir -p $benchmark_dir/$results_dir mkdir -p $benchmark_dir/$results_dir
...@@ -49,10 +50,10 @@ for protocol_dir in $(find $benchmark_dir/$protocols_dir -mindepth 1 -maxdepth 1 ...@@ -49,10 +50,10 @@ for protocol_dir in $(find $benchmark_dir/$protocols_dir -mindepth 1 -maxdepth 1
echo -n "$protocol,$file" >>$benchmark_dir/$results_dir/results.csv echo -n "$protocol,$file" >>$benchmark_dir/$results_dir/results.csv
( (
$executable_dir/$executable $options $filename 2>&1 | tee $benchmark_dir/$out_dir/$protocol/$file.out $executable_dir/$executable $options $structure_option $filename 2>&1 | tee $benchmark_dir/$out_dir/$protocol/$file.out
) )
n_states=$(grep -e 'Number of states' "$benchmark_dir/$out_dir/$protocol/$file.out" | sed -e 's/^.*: \([0-9]*\)$/\1/') n_states=$(grep -e '^States *: ' "$benchmark_dir/$out_dir/$protocol/$file.out" | sed -e 's/^.*: \([0-9]*\)$/\1/')
n_transitions=$(grep -e 'Number of transitions' "$benchmark_dir/$out_dir/$protocol/$file.out" | sed -e 's/^.*: \([0-9]*\)$/\1/') n_transitions=$(grep -e '^Transitions *: ' "$benchmark_dir/$out_dir/$protocol/$file.out" | sed -e 's/^.*: \([0-9]*\)$/\1/')
echo -n ",$n_states,$n_transitions" >>$benchmark_dir/$results_dir/results.csv echo -n ",$n_states,$n_transitions" >>$benchmark_dir/$results_dir/results.csv
for (( propi=0;propi<${#properties[@]};propi++)); do for (( propi=0;propi<${#properties[@]};propi++)); do
......
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