Searched refs:proof_list (Results 1 – 1 of 1) sorted by relevance
109 def get_proof_dirs(proof_root, proof_list): argument110 if proof_list is not None:111 proofs_remaining = list(proof_list)117 if proof_list and proof_name not in proof_list:119 if proof_list and proof_name in proofs_remaining:
