Lines Matching refs:str
116 proof_name = str(pathlib.Path(root).name)
133 if not isinstance(cmd, str):
154 cmd.extend(["-j", str(jobs)])
170 proof_name = str(proof_directory.relative_to(proof_root))
172 goto_binary = str(
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),
273 run_cmd(["./prepare.py"], check=True, cwd=str(proof_root))
299 [str(f) for f in counter["fail"]]))