Searched defs:verifier_dir (Results 1 – 2 of 2) sorted by relevance
78 def verify_abcs(verifier_dir, output_dir): argument
67 def process_file(file_path, es2abc_path, temp_abc_dir, verifier_dir): argument