1 | //===- unittests/Analysis/FlowSensitive/WatchedLiteralsSolverTest.cpp -----===// |
---|---|
2 | // |
3 | // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions. |
4 | // See https://llvm.org/LICENSE.txt for license information. |
5 | // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception |
6 | // |
7 | //===----------------------------------------------------------------------===// |
8 | |
9 | #include "clang/Analysis/FlowSensitive/WatchedLiteralsSolver.h" |
10 | #include "SolverTest.h" |
11 | |
12 | namespace clang::dataflow::test { |
13 | |
14 | template <> |
15 | WatchedLiteralsSolver |
16 | SolverTest<WatchedLiteralsSolver>::createSolverWithLowTimeout() { |
17 | return WatchedLiteralsSolver(10); |
18 | } |
19 | |
20 | namespace { |
21 | |
22 | INSTANTIATE_TYPED_TEST_SUITE_P(WatchedLiteralsSolverTest, SolverTest, |
23 | WatchedLiteralsSolver, ); |
24 | |
25 | } // namespace |
26 | } // namespace clang::dataflow::test |
27 |