Zulip Chat Archive

Stream: general

Topic: Property-based testing


view this post on Zulip 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).

view this post on Zulip Johan Commelin (Jul 29 2020 at 09:37):

There is a PR, I think

view this post on Zulip Markus Himmel (Jul 29 2020 at 09:40):

#2080

view this post on Zulip Daniel Fabian (Jul 29 2020 at 09:55):

cool, thx!


Last updated: May 14 2021 at 23:14 UTC