Searched defs:assumption (Results 1 – 6 of 6) sorted by relevance
35 …public AssumptionViolatedException(String assumption, boolean hasValue, Object value, Matcher<?> m… in AssumptionViolatedException()64 public AssumptionViolatedException(String assumption, Object value, Matcher<?> matcher) { in AssumptionViolatedException()74 public AssumptionViolatedException(String assumption) { in AssumptionViolatedException()84 public AssumptionViolatedException(String assumption, Throwable e) { in AssumptionViolatedException()
142 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor()
89 bool assumption) { in assume()
262 SVal cond, bool assumption) { in processAssume()
452 bool assumption) { in _evalAssume()
2967 Value assumption = in matchAndRewrite() local