Searched refs:pc_false_hyp (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-10.1.1/graph-refine/ |
H A D | check.py | 11 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 D | trace_refute.py | 159 free_hyps.append (rep_graph.pc_false_hyp (err_vis))
|
H A D | stack_logic.py | 170 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 D | loop_bounds.py | 136 ret += [rep_graph.pc_false_hyp((n_vc, p.node_tags[x][0]))
|
H A D | search.py | 146 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 D | rep_graph.py | 291 def pc_false_hyp (vis): function
|
Completed in 54 milliseconds