Zulip Chat Archive

Stream: general

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):

cool, thx!

Last updated: Dec 20 2023 at 11:08 UTC