katadiff

Documentation

Overview

Command katadiff prints the kata-model bound and cause for every function in a directory, so a reduced corpus fixture can be checked against the original it was reduced from.

A development tool, not part of the shipped analyzer. It exists because "the reduction did not change the verdict" is a measurable claim, and checking it by eye across fourteen files is how a silent fixture drift enters a regression net at the moment it is created.