Lines Matching refs:proof_directory
158 def add_proof_jobs(proof_directory, proof_root): argument
159 proof_directory = pathlib.Path(proof_directory)
161 f for f in os.listdir(proof_directory) if f.endswith("_harness.c")]
165 proof_directory)
170 proof_name = str(proof_directory.relative_to(proof_root))
173 (proof_directory / ("%s.goto" % harnesses[0][:-2])).resolve())
183 "--cwd", str(proof_directory),
189 cbmc_out = str(proof_directory / "cbmc.txt")
200 "--cwd", str(proof_directory),
204 property_out = str(proof_directory / "property.xml")
212 "--cwd", str(proof_directory),
216 coverage_out = str(proof_directory / "coverage.xml")
224 "--cwd", str(proof_directory),
237 "--cwd", str(proof_directory),
246 "--outputs", str(proof_directory / "html"),
249 "--cwd", str(proof_directory),