Home
last modified time | relevance | path

Searched defs:assumption (Results 1 – 5 of 5) sorted by relevance

/external/junit/src/org/junit/internal/
DAssumptionViolatedException.java21 public AssumptionViolatedException(String assumption) { in AssumptionViolatedException()
/external/clang/include/clang/StaticAnalyzer/Core/BugReporter/
DBugReporterVisitor.h140 TrackConstraintBRVisitor(DefinedSVal constraint, bool assumption) in TrackConstraintBRVisitor()
/external/clang/lib/StaticAnalyzer/Core/
DSimpleConstraintManager.cpp89 bool assumption) { in assume()
DExprEngine.cpp260 SVal cond, bool assumption) { in processAssume()
/external/clang/include/clang/StaticAnalyzer/Core/
DChecker.h423 bool assumption) { in _evalAssume()