1 //===- unittests/Analysis/FlowSensitive/WatchedLiteralsSolverTest.cpp -----===//
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
7 //===----------------------------------------------------------------------===//
9 #include "clang/Analysis/FlowSensitive/WatchedLiteralsSolver.h"
10 #include "SolverTest.h"
12 namespace clang::dataflow::test
{
16 SolverTest
<WatchedLiteralsSolver
>::createSolverWithLowTimeout() {
17 return WatchedLiteralsSolver(10);
22 INSTANTIATE_TYPED_TEST_SUITE_P(WatchedLiteralsSolverTest
, SolverTest
,
23 WatchedLiteralsSolver
, );
26 } // namespace clang::dataflow::test