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
12namespace clang::dataflow::test {
13
14template <>
15WatchedLiteralsSolver
16SolverTest<WatchedLiteralsSolver>::createSolverWithLowTimeout() {
17 return WatchedLiteralsSolver(10);
18}
19
20namespace {
21
22INSTANTIATE_TYPED_TEST_SUITE_P(WatchedLiteralsSolverTest, SolverTest,
23 WatchedLiteralsSolver, );
24
25} // namespace
26} // namespace clang::dataflow::test
27

Provided by KDAB

Privacy Policy
Improve your Profiling and Debugging skills
Find out more

source code of clang/unittests/Analysis/FlowSensitive/WatchedLiteralsSolverTest.cpp