Searched refs:counter (Results 1 – 1 of 1) sorted by relevance
102 def print_counter(counter): argument106 **counter), end="", file=sys.stderr)257 def configure_proof_dirs(proof_dirs, proof_root, counter): argument259 print_counter(counter)263 counter["pass" if success else "fail"].append(proof_dir)264 counter["complete"] += 1283 counter = {291 configure_proof_dirs(proof_dirs, proof_root, counter)293 print_counter(counter)296 if counter["fail"]:[all …]
