Clojurians Log v2
Clojure programming
Channels
Apps
test-check
2020-03-31T17:29:04.001Z
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.
2020-03-31T17:29:17.001400Z
if I run my own generators 100,000 times it works fine.
2020-03-31T17:58:38.001600Z
What version is this?
2020-03-31T17:59:09.002100Z
(So I can follow the line number)
2020-03-31T18:02:28.003200Z
Now that I think about it I bet you're getting misled by line numbers across versions
2020-03-31T18:02:53.003700Z
I think I tracked down the source of that error; which is that (s/and int? #(< -30 % 30)) implicitly uses such-that internally.
2020-03-31T18:03:08.004100Z
Yeah that's the usual culprit
2020-03-31T18:04:27.004800Z
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.
2020-03-31T18:05:02.005300Z
anyway, now it's working nicely.
2020-03-31T18:05:10.005600Z
Reloading the generators namespace somehow?
2020-03-31T18:08:37.006Z
not sure. now that I've fixed the problem with my generators, it's not happening anymore.
2020-03-31T18:08:46.006100Z
🤷
2020-03-31T18:13:51.006500Z
yeah, it's a mystery. I'm really loving the generative testing for fuzzing some complicated file encoding code, though.
2020-03-31T18:14:54.006800Z
Yeah it's fun