Searched refs:proof_dirs (Results 1 – 1 of 1) sorted by relevance
257 def configure_proof_dirs(proof_dirs, proof_root, counter): argument258 for proof_dir in proof_dirs:278 proof_dirs = list(get_proof_dirs(proof_root, args.proofs))279 if not proof_dirs:287 "total": len(proof_dirs),288 "width": int(math.log10(len(proof_dirs))) + 1291 configure_proof_dirs(proof_dirs, proof_root, counter)
