Ran speculative on the first 800 examples from clojuredocs. It catches the bad use of max and flatten from these examples: * https://clojuredocs.org/clojure.core/apply#example-542692cdc026201cdc326d49 * https://clojuredocs.org/clojure.core/flatten#example-542692cfc026201cdc326e49 So far, no errors found in speculative itself. It was a fun experiment. Code: https://github.com/borkdude/speculative/blob/master/test/speculative/clojuredocs.clj
I used clojail to run the code, which was also nice to finally try…
I now tested speculative with the clojure slim jar, which means internal calls to functions are also checked. Which gave no new errors either 🙂.