Searched defs:assume (Results 1 – 12 of 12) sorted by relevance
7 #define assume(x) \ macro14 #define assume(x) __CPROVER_assume(x) macro
58 public static final StandardSubjectBuilder assume() { in assume() method in TruthJUnit
143 #define assume(expr) \ macro149 #define assume(expr) ((expr) ? ((void) 0) \ macro153 #define assume(expr) __assume(expr) macro155 #define assume(expr) assert(expr) macro
68 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager87 ProgramStateRef SimpleConstraintManager::assume(ProgramStateRef state, in assume() function in clang::ento::SimpleConstraintManager
67 def assume(condition): function
115 void idcZero(int assume) { in idcZero()
643 inline ProgramStateRef ProgramState::assume(DefinedOrUnknownSVal Cond, in assume() function653 ProgramState::assume(DefinedOrUnknownSVal Cond) const { in assume() function
83 fun SemanticsNodeInteraction.assume( in <lambda>() method
273 enum assume { enum
81 macro_rules! assume { macro
304 FMT_INLINE void assume(bool condition) { in assume() function