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