Fork me on GitHub
#test-check
<
2020-03-31
>
Braden Shepherdson17:03:04

I'm really struggling with an opaque such-that failure. the references for the failure are at generators.cljc line 416, but I'm not explicitly calling elements anywhere and I'm not sure what's up.

Braden Shepherdson17:03:17

if I run my own generators 100,000 times it works fine.

gfredericks17:03:38

What version is this?

gfredericks17:03:09

(So I can follow the line number)

gfredericks18:03:28

Now that I think about it I bet you're getting misled by line numbers across versions

Braden Shepherdson18:03:53

I think I tracked down the source of that error; which is that (s/and int? #(< -30 % 30)) implicitly uses such-that internally.

gfredericks18:03:08

Yeah that's the usual culprit

Braden Shepherdson18:03:27

I also apparently managed to break my REPL, and it kept telling me that something wasn't a generator when it clearly was. reloading it fixed that, not sure what caused it.

Braden Shepherdson18:03:02

anyway, now it's working nicely.

gfredericks18:03:10

Reloading the generators namespace somehow?

Braden Shepherdson18:03:37

not sure. now that I've fixed the problem with my generators, it's not happening anymore.

Braden Shepherdson18:03:51

yeah, it's a mystery. I'm really loving the generative testing for fuzzing some complicated file encoding code, though.

gfredericks18:03:54

Yeah it's fun