/rutenspitz

А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation

Primary LanguageRust

Stargazers