Clojurians Log v2
test-check 2020-08-27
i came across this: https://github.com/renatahodovan/grammarinator and started wondering if it is possible to take an antlr grammar of something and generate things based on it for use with test.check.
Should totally be possible. test.chuck's regex generator is similar
thanks! i was thinking about ashnur's email address problem being discussed on another channel and i noticed there is an antlr grammar for rfc822 email addresses: https://github.com/antlr/grammars-v4/tree/master/rfc822/rfc822-emailaddress
test.chuck's regex generator is quite neat! i also found instacheck and instagenerator. ha ha -- so late to the party 🙂
I hadn't heard of either of those
may be you have found them already, but fwiw: * https://github.com/Engelberg/instaparse/issues/82#issuecomment-57892866 * https://github.com/Engelberg/instaparse/issues/82#issuecomment-426022741
Cool. Apparently I must have seen the second one and forgot about it, since it mentions me
Before I embark on this journey, has anyone written a thing that combines prop/for-all and gen/let?
Does test.chuck have something like that? I think so
Yeah, looks like test.chuck.gen/for is what I want, thanks
Hrm, though I can’t stick it in the prop/for-all, which is what I wanted to solve:
(prop/for-all [[a b c] (gen/let [a gen-a b gen-b c gen-c] [a b c] (do-test))I’m trying to avoid ^^ that boilerplate
Lemme see
oh, prop'/for-all, I just have to keep reading
@dave.dixon has left the channel