Searched refs:proof_root (Results 1 – 1 of 1) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | run-cbmc-proofs.py | 109 def get_proof_dirs(proof_root, proof_list): argument
115 for root, _, fyles in os.walk(proof_root):
158 def add_proof_jobs(proof_directory, proof_root): argument
170 proof_name = str(proof_directory.relative_to(proof_root))
257 def configure_proof_dirs(proof_dirs, proof_root, counter): argument
261 success = add_proof_jobs(proof_dir, proof_root)
271 proof_root = pathlib.Path(__file__).resolve().parent
273 run_cmd(["./prepare.py"], check=True, cwd=str(proof_root))
278 proof_dirs = list(get_proof_dirs(proof_root, args.proofs))
291 configure_proof_dirs(proof_dirs, proof_root, counter)
|
