From 37ac9b49936d3b7e74f187c4d3f7853cc387a6be Mon Sep 17 00:00:00 2001 From: bradleysmith23 Date: Wed, 11 Oct 2023 16:17:33 -0700 Subject: [PATCH] Add --json-ui back to cbmc command --- test/cbmc/run_proofs.sh | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/test/cbmc/run_proofs.sh b/test/cbmc/run_proofs.sh index 06649970..68aa2bef 100755 --- 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" --trace \ + --unwinding-assertions --c99 "$@" --unwind "$UNWIND_COUNT" --json-ui \ -DUNWIND_COUNT="$UNWIND_COUNT" >&1 | tee output/latest/html/run.json