Searched refs:proof_directory (Results 1 – 1 of 1) sorted by relevance
158 def add_proof_jobs(proof_directory, proof_root): argument159 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")[all …]
