#
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 ...
|