From 21f279939271fe197a0af1f3b784e3c91be3c208 Mon Sep 17 00:00:00 2001 From: Mark Tuttle Date: Fri, 17 Dec 2021 13:59:10 -0500 Subject: [PATCH] Always prepare source tree for cbmc proofs (#743) Co-authored-by: Mark R. Tuttle --- FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py b/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py index 5391262833..c0f8a48c88 100755 --- a/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py +++ b/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py @@ -276,9 +276,8 @@ def main(): proof_root = pathlib.Path(__file__).resolve().parent litani = get_litani_path(proof_root) + run_cmd(["./prepare.py"], check=True, cwd=str(proof_root)) if not args.no_standalone: - run_cmd( - ["./prepare.py"], check=True, cwd=str(proof_root)) run_cmd( [str(litani), "init", "--project", args.project_name], check=True)