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