Searched refs:test_hyp_imp (Results 1 - 2 of 2) sorted by path

/seL4-l4v-10.1.1/graph-refine/
H A Drep_graph.py1106 def test_hyp_imp (self, hyps, hyp, model = None): member in class:GraphSlice
H A Dsearch.py1083 res = [n for n in ns if not rep.test_hyp_imp (hyps, npc (n))]

Completed in 62 milliseconds