Searched refs:test_hyp_whyps (Results 1 - 6 of 6) sorted by relevance
/seL4-l4v-master/graph-refine/ |
H A D | c_rodata.py | 36 res = rep.test_hyp_whyps (hyp, [], cache = cache)
|
H A D | search.py | 95 res = rep.test_hyp_whyps (hyp, hyps) 176 if rep.test_hyp_whyps (pc, hyps + err_pc_hyps): 178 if rep.test_hyp_whyps (mk_not (pc), hyps + err_pc_hyps): 763 assert rep.test_hyp_whyps (imp, []) 810 if rep.test_hyp_whyps (eq, vis_hyps, model = m): 820 if rep.test_hyp_whyps (eq, stuff['hyps'] + path_hyps): 900 res = rep.test_hyp_whyps (eq, hyps + ex_hyps, model = m) 1056 rep.test_hyp_whyps (true_term, hyps) 1624 return rep.test_hyp_whyps (hyp, hyps) 1654 if rep.test_hyp_whyps (mk_no [all...] |
H A D | stack_logic.py | 94 if rep.test_hyp_whyps (mk_nimp (bool_hyps, cond_exp), 97 elif rep.test_hyp_whyps (mk_nimp (bool_hyps, mk_not (cond_exp)), 754 if rep.test_hyp_whyps (mk_not (mk_and (pc, cond2)), 911 res = rep.test_hyp_whyps (syntax.false_term, assns, model = m) 925 if not rep.test_hyp_whyps (mk_eq (arg_smt, val), assns): 961 if rep.test_hyp_whyps (mk_not (new), assns):
|
H A D | loop_bounds.py | 175 #print 'calling test_hyp_whyps' 176 if rep.test_hyp_whyps (hyp, hyps): 527 return rep.test_hyp_whyps (syntax.mk_not (continue_to_split_guess),
|
H A D | rep_graph.py | 1072 def test_hyp_whyps (self, hyp, hyps, cache = None, fast = False, member in class:GraphSlice 1105 return self.test_hyp_whyps (self.interpret_hyp (hyp), hyps,
|
H A D | trace_refute.py | 267 return rep.test_hyp_whyps (syntax.false_term, hs)
|
Completed in 65 milliseconds