Home
last modified time | relevance | path

Searched refs:createSolverWithLowTimeout (Results 1 – 2 of 2) sorted by relevance

/llvm-project/clang/unittests/Analysis/FlowSensitive/
H A DWatchedLiteralsSolverTest.cpp16 SolverTest<WatchedLiteralsSolver>::createSolverWithLowTimeout() { in createSolverWithLowTimeout() function in clang::dataflow::test::SolverTest
H A DSolverTest.h47 SolverT createSolverWithLowTimeout();
337 TypeParam solver = this->createSolverWithLowTimeout(); in TYPED_TEST_P()
348 TypeParam solver = this->createSolverWithLowTimeout(); in TYPED_TEST_P()