Add --json-ui back to cbmc command

aws · Oct 11, 2023 · 37ac9b4 · 37ac9b4
1 parent 4c15cdf
commit 37ac9b4
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" --trace  \
+     --unwinding-assertions --c99 "$@" --unwind "$UNWIND_COUNT" --json-ui  \
      -DUNWIND_COUNT="$UNWIND_COUNT" >&1 | tee output/latest/html/run.json