Lines Matching refs:counter
102 def print_counter(counter): argument
106 **counter), end="", file=sys.stderr)
257 def configure_proof_dirs(proof_dirs, proof_root, counter): argument
259 print_counter(counter)
263 counter["pass" if success else "fail"].append(proof_dir)
264 counter["complete"] += 1
283 counter = {
291 configure_proof_dirs(proof_dirs, proof_root, counter)
293 print_counter(counter)
296 if counter["fail"]:
299 [str(f) for f in counter["fail"]]))