Searched refs:_evalAssume (Results 1 – 1 of 1) sorted by relevance
460 static ProgramStateRef _evalAssume(void *checker, in _evalAssume() function471 CheckerManager::EvalAssumeFunc(checker, _evalAssume<CHECKER>)); in _register()