Add ability to run cbmc proof for a specific function

Add the ability to pass in arguments like: ./run_proofs.sh --function <function_to_test>
aws · Oct 5, 2023 · a6d36fd · a6d36fd
1 parent e772f0e
commit a6d36fd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/cbmc/run_proofs.sh b/test/cbmc/run_proofs.sh
@@ -20,5 +20,5 @@ exec cbmc proofs.c "$JobsSourceDir/jobs.c"  stubs/strnlen.c \
      --signed-overflow-check --unsigned-overflow-check --pointer-overflow-check \
      --conversion-check --undefined-shift-check --enum-range-check \
      --pointer-primitive-check --drop-unused-functions --nondet-static \
-     --unwinding-assertions --c99 --unwind "$UNWIND_COUNT" --json-ui  \
+     --unwinding-assertions --c99 "$@" --unwind "$UNWIND_COUNT" --json-ui  \
      -DUNWIND_COUNT="$UNWIND_COUNT" >&1 | tee output/latest/html/run.json