Searched refs:trace_refute (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-master/graph-refine/graph-to-graph/
H A Dauto_infea.py9 import graph_refine.trace_refute as trace_refute namespace
55 #setup trace_refute's environment
90 #now call trace_refute
93 print 'calling trace_refute, time is: %s' % t
94 results_f.write(' trace_refute called at: %s\n' % t)
99 new_refutes,_ = trace_refute.refute(refutables_fname, auto_refutes_file, [auto_refutes_file])
105 print 'trace_refute returned, time is: %s' % t
106 results_f.write(' trace_refute returned at: %s\n' % t)
111 print 'At case %d, trace_refute canno
[all...]
H A Dconvert_loop_bounds.py8 import graph_refine.trace_refute as trace_refute namespace
53 f = trace_refute.get_body_addrs_fun(head)
H A Dconflict.py16 import graph_refine.trace_refute as trace_refute namespace
18 from graph_refine.trace_refute import parse_num_arrow_list
420 stack = trace_refute.parse_num_list(stack)
421 visits = trace_refute.parse_num_arrow_list(visits)
440 if not trace_refute.ctxt_within_function_limits (ctxt[:-2]):
/seL4-l4v-master/graph-refine/
H A Dloop_bounds.py16 import trace_refute namespace
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 impor
[all...]
H A Dgraph-refine.py197 from trace_refute import addrs_covered, funs_sort_by_num_addrs

Completed in 46 milliseconds