diff options
| author | Mark Tuttle <tuttle@acm.org> | 2021-12-17 13:59:10 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-12-17 10:59:10 -0800 |
| commit | 21f279939271fe197a0af1f3b784e3c91be3c208 (patch) | |
| tree | fa2f1c332e1473e58df9532f1dc8cd5e2b348ed0 /FreeRTOS/Test | |
| parent | b44f5932fe0a22ae5a2f31f59150c582a25af710 (diff) | |
| download | freertos-git-21f279939271fe197a0af1f3b784e3c91be3c208.tar.gz | |
Always prepare source tree for cbmc proofs (#743)
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
Diffstat (limited to 'FreeRTOS/Test')
| -rwxr-xr-x | FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py b/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py index 539126283..c0f8a48c8 100755 --- a/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py +++ b/FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py @@ -276,10 +276,9 @@ 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) proof_dirs = list(get_proof_dirs(proof_root, args.proofs)) |