Lines Matching refs:trace_refute
16 import trace_refute
53 while not trace_refute.is_addr (n):
297 from trace_refute import identify_function, build_compound_problem_with_links
335 f_names = [trace_refute.get_body_addrs_fun (x)
645 add_fun_to_loop_data_cache (trace_refute.get_body_addrs_fun (split))
651 add_fun_to_loop_data_cache (trace_refute.get_body_addrs_fun (split))
656 f = functions[trace_refute.get_body_addrs_fun (split)]
657 return [addr for addr in f.nodes if trace_refute.is_addr (addr)
665 if trace_refute.is_addr (n)]
700 from trace_refute import (function_limit, ctxt_within_function_limits)
703 fs = [trace_refute.identify_function ([], [call_site])
705 non_computable = [f for f in fs if trace_refute.has_complex_loop (f)]
712 first_f = trace_refute.identify_function ([], (call_ctxt + [split])[:1])
728 fname = trace_refute.identify_function (call_ctxt, [split])
893 addr = min ([n for n in p.loop_body (h) if trace_refute.is_addr (n)])