History log of /llvm-project/clang/unittests/Analysis/FlowSensitive/SolverTest.h (Results 1 – 1 of 1)
Revision (<<< Hide revision tags) (Show revision tags >>>) Date Author Comments
Revision tags: llvmorg-18.1.8, llvmorg-18.1.7, llvmorg-18.1.6
# d6d613aa 08-May-2024 martinboehme <mboehme@google.com>

[clang][dataflow] Make `SolverTest` a type-parameterized test. (#91455)

This allows the tests to be run against any implementation of `Solver`
instead
of begin specific to `WatchedLiteralsSolver` as

[clang][dataflow] Make `SolverTest` a type-parameterized test. (#91455)

This allows the tests to be run against any implementation of `Solver`
instead
of begin specific to `WatchedLiteralsSolver` as they currently are.

show more ...