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

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

Completed in 46 milliseconds