Searched refs:default_n_vc (Results 1 - 3 of 3) sorted by relevance
| /seL4-l4v-10.1.1/graph-refine/ |
| H A D | stack_logic.py | 26 def default_n_vc (p, n): function
170 hyp = rep_graph.pc_false_hyp ((default_n_vc (p, n), tag))
188 n_vc = default_n_vc (p, n)
196 n_vc = default_n_vc (p, n)
649 rep.get_pc (default_n_vc (p, 'Ret'), 'Target')
650 err_pc = rep.get_pc (default_n_vc (p, 'Err'), 'Target')
738 err_hyp = rep_graph.pc_false_hyp ((default_n_vc (p, 'Err'), 'Target'))
753 (inp_env, _, _) = rep.get_func (default_n_vc (p, n))
754 pc = rep.get_pc (default_n_vc (p, n))
876 call_vis = (default_n_vc (
[all...] |
| H A D | trace_refute.py | 193 (n, vc) = stack_logic.default_n_vc (p, n)
|
| H A D | loop_bounds.py | 148 from stack_logic import default_n_vc namespace
|
Completed in 158 milliseconds