sleuth (cargo): Extremely opinionated testing framework generating an exact specification and reducing code to its minimal implementation.
Keywords: parser|compiler|testing|safety|test