Lines Matching refs:false_term
177 from syntax import (Expr, fresh_name, builtinTs, true_term, false_term,
1955 pc_envs = [(pc, env) for (pc, env) in pc_envs if pc != false_term]
1957 path_cond = false_term
2015 return false_term
2028 elif b == syntax.false_term:
2106 false_vals = [x for (x, v) in vals if v == syntax.false_term]
2120 if v == syntax.false_term:
2162 if fun.nodes[n].cond != syntax.false_term]
2188 assert solv.check_hyp (false_term, {}, force_solv = fs) == 'sat'
2195 assert solv.check_hyp (false_term, {}, model = m,