Lines Matching defs:change_extension
486 out_file = change_extension(test_report.src_path, '.out')
488 output_file = change_extension(
504 out_file_path = os.path.join(test_report.out_path, change_extension(test_report.test_id, '.out'))
523 abc_file = change_extension(
526 ap_file = change_extension(abc_file, ".ap")
674 abc_file = change_extension(
677 ap_file = change_extension(abc_file, ".ap")
678 aot_file = change_extension(abc_file, "")
819 abc_file = change_extension(
822 aot_file = change_extension(abc_file, "")
823 expect_file = change_extension(abc_file, ".out")
954 def change_extension(path, new_ext: str):