Searched refs:test_hyp_whyps (Results 1 - 6 of 6) sorted by relevance

/seL4-l4v-master/graph-refine/
H A Dc_rodata.py36 res = rep.test_hyp_whyps (hyp, [], cache = cache)
H A Dsearch.py95 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 Dstack_logic.py94 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 Dloop_bounds.py175 #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 Drep_graph.py1072 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 Dtrace_refute.py267 return rep.test_hyp_whyps (syntax.false_term, hs)

Completed in 65 milliseconds