Searched refs:run_cmd (Results 1 – 1 of 1) sorted by relevance
131 def run_cmd(cmd, **args): function155 run_cmd(cmd, check=True)177 run_cmd([190 run_cmd([205 run_cmd([217 run_cmd([231 run_cmd([242 run_cmd([273 run_cmd(["./prepare.py"], check=True, cwd=str(proof_root))275 run_cmd(
