Topic: Property-based testing
Daniel Fabian (Jul 29 2020 at 09:36):
Has anyone here seen a way to do property-based testing a la QuickCheck for lean here? I'd like my parser to round-trip and doing the full formal proof turns out to be quite tedious (combining strings, monadic parsing and recursive AST with a list node as this needs special induction).
Johan Commelin (Jul 29 2020 at 09:37):
There is a PR, I think
Markus Himmel (Jul 29 2020 at 09:40):
Daniel Fabian (Jul 29 2020 at 09:55):
Last updated: May 14 2021 at 23:14 UTC