rutenspitz (cargo): А procedural macro to be used for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation
Keywords: test|fuzzing|honggfuzz