Use cases
Resolving every conflict in a merge tells you the spec is structurally valid. It tells you nothing about whether the real implementation still matches what you meant. Here's how Specor closes that gap.