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