From 0df240be4abbd8b111302d57f7de34f35af18237 Mon Sep 17 00:00:00 2001 From: Ekanshdeep Gupta Date: Sat, 1 Feb 2025 01:29:54 -0500 Subject: [PATCH] Tweaked pf_decl counting in bench.sh --- bench.sh | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/bench.sh b/bench.sh index 33b3a8d..7ac9362 100755 --- a/bench.sh +++ b/bench.sh @@ -38,10 +38,12 @@ FILES=( "test/concurrent/templates/keyset_ra.rav" "test/concurrent/templates/give-up.rav" "test/concurrent/templates/bplustree.rav" + "test/arrays/array.rav" "test/arrays/ordered_array.rav" ) # Initialize CSV file -CSV_FILE="./benchmarks.csv" +timestamp=$(date +"%Y%m%d_%H%M%S") +CSV_FILE="./bench_results/bench_$timestamp.csv" echo "File,Program Length,Proof Declarations,Proof Instructions,Runtime" > "$CSV_FILE" for file in "${FILES[@]}"; do @@ -65,6 +67,7 @@ for file in "${FILES[@]}"; do proof_remaining_instructions=$(echo "$output" | grep "Proof Remaining Instructions" | awk '{print $4}') specification_count=$(echo "$output" | grep "Specification Count" | awk '{print $3}') program_length=$((program_declarations + program_instructions)) + proof_declarations=$((proof_declarations + specification_count)) # Run hyperfine to measure runtime runtime=$(hyperfine --warmup $WARMUP --runs $RUNS "raven \"$file\"" --export-json /tmp/hyperfine.json)