Created
October 31, 2016 23:13
-
-
Save r00k/4d0c8d5afbf401f5a7fb7b3a51fcbc4c to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
(ns barb.core | |
(:require [clojure.browser.repl :as repl] | |
[cljs.spec :as s] | |
[clojure.spec.test :as stest] | |
[cljs.spec.impl.gen :as gen])) | |
(defn simple [x] x) | |
(s/fdef simple :args int? :ret int?) | |
(println (stest/check `simple)) | |
;; fails with: | |
;; [{:spec #object[cljs.spec.t_cljs$spec1171], :clojure.test.check/ret {:result #object[Error Error: -1 is not ISeqable], :seed 1477955563125, :failing-size 0, :num-tests 1, :fail [-1], :shrunk {:total-nodes-visited 1, :depth 0, :result #object[Error Error: 0 is not ISeqable], :smallest [0]}}, :sym barb.core/simple, :failure #object[Error Error: 0 is not ISeqable]}]^ |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment