Searched refs:test_hyp_whyps (Results 1 - 6 of 6) sorted by last modified time
/seL4-l4v-10.1.1/graph-refine/ |
H A D | trace_refute.py | 269 return rep.test_hyp_whyps (syntax.false_term, hs)
|
H A D | stack_logic.py | 96 if rep.test_hyp_whyps (mk_nimp (bool_hyps, cond_exp), 99 elif rep.test_hyp_whyps (mk_nimp (bool_hyps, mk_not (cond_exp)), 756 if rep.test_hyp_whyps (mk_not (mk_and (pc, cond2)), 913 res = rep.test_hyp_whyps (syntax.false_term, assns, model = m) 927 if not rep.test_hyp_whyps (mk_eq (arg_smt, val), assns): 963 if rep.test_hyp_whyps (mk_not (new), assns):
|
H A D | search.py | 97 res = rep.test_hyp_whyps (hyp, hyps) 178 if rep.test_hyp_whyps (pc, hyps + err_pc_hyps): 180 if rep.test_hyp_whyps (mk_not (pc), hyps + err_pc_hyps): 765 assert rep.test_hyp_whyps (imp, []) 812 if rep.test_hyp_whyps (eq, vis_hyps, model = m): 822 if rep.test_hyp_whyps (eq, stuff['hyps'] + path_hyps): 902 res = rep.test_hyp_whyps (eq, hyps + ex_hyps, model = m) 1058 rep.test_hyp_whyps (true_term, hyps) 1626 return rep.test_hyp_whyps (hyp, hyps) 1656 if rep.test_hyp_whyps (mk_no [all...] |
H A D | rep_graph.py | 1074 def test_hyp_whyps (self, hyp, hyps, cache = None, fast = False, member in class:GraphSlice 1107 return self.test_hyp_whyps (self.interpret_hyp (hyp), hyps,
|
H A D | loop_bounds.py | 169 #print 'calling test_hyp_whyps' 170 if rep.test_hyp_whyps (hyp, hyps): 521 return rep.test_hyp_whyps (syntax.mk_not (continue_to_split_guess),
|
H A D | c_rodata.py | 30 res = rep.test_hyp_whyps (hyp, [], cache = cache)
|
Completed in 108 milliseconds