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