Skip to content
GitLab
Unverified Commit d6d613aa authored by martinboehme's avatar martinboehme Committed by GitHub
Browse files

[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.
parent 2c1c6767
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment