Clang Static Analyzer and the Z3 constraint solver (2022) cambus.net 90 points by davikr 13 hours ago
pfdietz an hour 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.