Searched refs:pc_false_hyp (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-10.1.1/graph-refine/
H A Dcheck.py11 from rep_graph import mk_graph_slice, Hyp, eq_hyp, pc_true_hyp, pc_false_hyp namespace
341 false_hyps = hyps + [pc_false_hyp (visit)]
360 return [pc_false_hyp (l_visit)]
431 l_exit = pc_false_hyp (l_cont)
457 return pc_false_hyp ((('Err', restrs), tags[1]))
510 top_check = (hyps, pc_false_hyp (visit (top_vc)),
684 nlerr_pc = pc_false_hyp ((('Err', restrs), l_tag))
H A Dtrace_refute.py159 free_hyps.append (rep_graph.pc_false_hyp (err_vis))
H A Dstack_logic.py170 hyp = rep_graph.pc_false_hyp ((default_n_vc (p, n), tag))
738 err_hyp = rep_graph.pc_false_hyp ((default_n_vc (p, 'Err'), 'Target'))
H A Dloop_bounds.py136 ret += [rep_graph.pc_false_hyp((n_vc, p.node_tags[x][0]))
H A Dsearch.py146 err_pc_hyps = [rep_graph.pc_false_hyp ((('Err', no_loop_restrs), tag))
174 err_pc_hyps = [rep_graph.pc_false_hyp ((('Err', no_loop_restrs), tag))
1080 return rep_graph.pc_false_hyp (((n, tuple ([(n2, restr)
H A Drep_graph.py291 def pc_false_hyp (vis): function

Completed in 54 milliseconds