> In this sort of situation, a static type system which provides universal > guarantees (this value can never be null) is more useful than a contract > system (no null values have been seen yet for the test inputs you've tried). > There's simply no way I can test all combinations, or reproduce all > combinations that users might have running.
Isn't a major selling point of generative testing was that it creates loads of unique cases you can't invent on your own? You don't trust it to do that? Is that from personal experience? Genuinely curious because I am a little excited about using it in a project at work but this is disheartening. -- You received this message because you are subscribed to the Google Groups "Clojure" group. To post to this group, send email to clojure@googlegroups.com Note that posts from new members are moderated - please be patient with your first post. To unsubscribe from this group, send email to clojure+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/clojure?hl=en --- You received this message because you are subscribed to the Google Groups "Clojure" group. To unsubscribe from this group and stop receiving emails from it, send an email to clojure+unsubscr...@googlegroups.com. For more options, visit https://groups.google.com/d/optout.