Mirrors_Framework/FreeRTOS
1
0
Fork 0
mirror of https://github.com/FreeRTOS/FreeRTOS.git synced 2026-09-22 19:24:10 +08:00
Code Issues Actions Packages Projects Releases Wiki Activity

Always prepare source tree for cbmc proofs (#743)

Browse Source 
Co-authored-by: Mark R. Tuttle <mrtuttle@amazon.com>
This commit is contained in:
Mark Tuttle
2021-12-17 10:59:10 -08:00
committed by GitHub
co-authored by Mark R. Tuttle
parent b44f5932fe
commit 21f2799392
1 changed files with 1 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files
FreeRTOS/Test/CBMC/proofs/run-cbmc-proofs.py
+1 -2
View File
@@ -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)