Clojurians Log v2

Hi 🙂. I've been working on porting test.check to Clojure on Erlang VM. I'm pretty much done but I was wondering what's the relationship between test.check and test.generative. I've noticed that spec.alpha uses test.check and that's partly why I ported the library (because I want to port spec.alpha as well), but test.generative seems to be used in tests for clojure-1.9.0.

I guess what I'm trying to ask is if test.check is a superset of test.generative (which I think it is) or if they are different in some fundamental way I'm missing.

I can see there is no shrinking in test.generative

tg predates tc

I don't think tg is used much anymore

I see that c.t.g it is being used for tests in clojure/clojure, so is c.t.c it seems

¯\(ツ)/¯

yes, the tg tests were added before tc existed

I expect those could be converted, but changes to the core codebase aren't normally accepted unless they provide a lot of value

I see, thank you 🙂