> Few generated unit tests doesn't replace formal verification. That's a claim you're making for the first time, here. Not one I've made. Go ahead and re-rea

> Few generated unit tests doesn't replace formal verification. That's a claim you're making for the first time, here. Not one I've made. Go ahead and re-read my comments to verify.