Clojurians Log v2
Clojure programming
Channels
Apps
test-check
2020-08-27T11:32:36.002100Z
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.
2020-08-31T13:31:07.010300Z
test.chuck's regex generator is quite neat! i also found instacheck and instagenerator. ha ha -- so late to the party 🙂
2020-08-31T13:34:57.010500Z
I hadn't heard of either of those
2020-08-31T13:56:18.010700Z
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
2020-08-31T14:17:17.011300Z
Cool. Apparently I must have seen the second one and forgot about it, since it mentions me
arohner 2020-08-27T15:55:23.003100Z
Before I embark on this journey, has anyone written a thing that combines prop/for-all and gen/let?
2020-08-27T15:57:05.003200Z
Should totally be possible. test.chuck's regex generator is similar
2020-08-27T15:57:39.003400Z
Does test.chuck have something like that? I think so
arohner 2020-08-27T15:58:47.003600Z
Yeah, looks like test.chuck.gen/for is what I want, thanks
arohner 2020-08-27T16:00:50.004300Z
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))arohner 2020-08-27T16:01:02.004600Z
I’m trying to avoid ^^ that boilerplate
2020-08-27T16:01:19.004800Z
Lemme see
arohner 2020-08-27T16:01:39.005100Z
oh, prop'/for-all, I just have to keep reading
2020-08-27T16:02:30.005300Z
Yep 🙂
2020-08-27T21:55:28.005400Z
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