rutenspitz 0.2.1

А procedural macro to be used for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
Documentation