Fork me on GitHub
#cider
<
2016-08-18
>
sebastianpoeplau11:08:31

is there a way to have cider display the failing input when using test.check?

sebastianpoeplau11:08:23

for example, when I define the following property:

(defspec whatever
  (prop/for-all [x gen/int]
    (= 0 x)))
cider can run it just fine, but when it fails I get only a moderately helpful message:
Fail in whatever
expected: result
actual: false

sebastianpoeplau11:08:38

I believe that test.check stores additional information, such as the minimal failing input, in its results, but cider-nrepl doesn't seem to extract it. Has anyone tried to do so? Is it something that people would be interested in?

richiardiandrea15:08:40

I would definitely be interested as I am now checking those errors in the terminal only @sebastianpoeplau

sebastianpoeplau15:08:58

@richiardiandrea I'll try to hack something together 🙂

richiardiandrea15:08:48

Let me know if you want me to try it out!

sebastianpoeplau23:08:10

@richiardiandrea I've created https://github.com/clojure-emacs/cider/issues/1825 - will have a try at the implementation...