xref: /llvm-project/clang/unittests/Analysis/FlowSensitive/WatchedLiteralsSolverTest.cpp (revision 7e52ad3b5b9509d0873965e8492ab01141342822) 
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
createSolverWithLowTimeout()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