def run(file_name, func_name): program_text = open(file_name,'r').read() user_mod = load_module(splitext(basename(file_name))[0],file_name) user_func = getattr(user_mod,func_name) input_dict = run_DART(program_text,user_func) results = run_Daikon(program_text,user_func,input_dict) print_results(results)
def run(file_name, func_name): program_text = open(file_name, 'r').read() user_mod = load_module(splitext(basename(file_name))[0], file_name) user_func = getattr(user_mod, func_name) input_dict = run_DART(program_text, user_func) results = run_Daikon(program_text, user_func, input_dict) print print print_results(results)
section = traces[label] #print label results[label] = {} results[label]["return types"] = detect_return(section) #print results[label]["variable ranges"] = detect_ranges(section) #print results[label]["variable ordering"] = detect_ordering(section) #print results[label]["builtin functions"] = detect_funcs(section) #print #print "function return types: " + str({return_type for label in results for return_type in results[label]["return types"]}) """ from report import print_results print_results(results) """ return results if __name__=="__main__": from traces import * #detect(traces) #detect(traces2) results = detect(traces3) from report import print_results print_results(results)