Clang Static Analyzer and the Z3 constraint solver (2022) cambus.net 91 points by davikr 14 hours ago
pfdietz 2 hours ago I wonder if this would also be useful with mutation testing, to filter out mutants that don't change the behavior of the code. These are the bane of mutation testing, as they cannot be killed by tests.
(2022)
Previously: https://news.ycombinator.com/item?id=31832588
I wonder if this would also be useful with mutation testing, to filter out mutants that don't change the behavior of the code. These are the bane of mutation testing, as they cannot be killed by tests.