Searched refs:test_hyp_whyps (Results 1 - 6 of 6) sorted by last modified time

/seL4-l4v-10.1.1/graph-refine/
H A Dtrace_refute.py269 return rep.test_hyp_whyps (syntax.false_term, hs)
H A Dstack_logic.py96 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 Dsearch.py97 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 Drep_graph.py1074 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 Dloop_bounds.py169 #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 Dc_rodata.py30 res = rep.test_hyp_whyps (hyp, [], cache = cache)

Completed in 108 milliseconds