I don't see why the output of the property based testing should be any easier to work with? It sounds more like you're arguing that PBT finds less actionable st

I don't see why the output of the property based testing should be any easier to work with? It sounds more like you're arguing that PBT finds less actionable stuff, which is my argument :) I use mutation testing for critical code. I don't run it in CI due to it being too slow and bad at incremental work. This is my own mutation tester so that's on me :)