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