arbitrary-model-tests 0.1.0

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