Searched defs:execfile (Results 1 – 3 of 3) sorted by relevance
63 File execfile = new File(tmp.getRoot(), "jacoco.exec"); in should_write_dump() local80 File execfile = new File(tmp.getRoot(), "jacoco.exec"); in should_log_connection_error_when_retry_is_specified() local
57 File execfile = createExecFile(); in should_print_execution_data_info() local
660 def execfile(self, filename, source=None): member in ModifiedInterpreter