speculative

https://github.com/borkdude/speculative
flowthing 2018-11-27T12:12:53.000600Z

Well, my coal-mine run always dies with Caused by: java.lang.OutOfMemoryError: Metaspace. 🙂

flowthing 2018-11-27T12:13:17.001100Z

Either I'm not giving it the correct JVM flags or the server I'm running the command on simply doesn't have enough memory.

flowthing 2018-11-27T12:13:35.001300Z

I tried with screen -L -S coal-mine clojure -J-XX:MaxMetaspaceSize=2g -J-Xmx2g -J-XX:CompressedClassSpaceSize=2g -A:test:coal-mine-clj.

borkdude 2018-11-27T12:19:17.001600Z

@mfikes may be able to help

borkdude 2018-11-27T12:20:17.002500Z

but running all of coal-mine isn’t a hard requirement for your PR to be merged

flowthing 2018-11-27T12:22:17.003200Z

Sure — just kinda curious to see how that would've turned out. 🙂

borkdude 2018-11-27T12:23:48.004Z

I’m running speculative on Advent of Code problems here: https://github.com/borkdude/advent-of-spec Haven’t found any errors so far. Most of the errors found in coal-mine had to do with merge being used as conj.

mfikes 2018-11-27T12:42:51.006800Z

@flowthing for non-Speculative runs, I give it 3g for compressed class space https://github.com/mfikes/coal-mine/blob/master/deps.edn I know you are hitting something else with Speculative.

borkdude 2018-11-27T14:53:57.007300Z

https://nextjournal.com/borkdude/speculative

borkdude 2018-11-27T15:33:37.007600Z

> I know you are hitting something else with Speculative. what did you have in mind there @mfikes?

mfikes 2018-11-27T15:34:51.007800Z

Nothing

mfikes 2018-11-27T15:35:25.008200Z

Just acknowledging that he’s not hitting CompressedClassSpaceSize

borkdude 2018-11-27T15:35:48.008400Z

ah

mfikes 2018-11-27T15:36:00.008700Z

By the way, I

mfikes 2018-11-27T15:36:23.009300Z

I’m putting together a change that makes it easier to run each individual problem on its own

borkdude 2018-11-27T15:36:54.009600Z

cool. There’s a script for this in speculative currently as well

borkdude 2018-11-27T15:37:22.009900Z

we’ve been using it in the builds to run a random coal-mine problem

borkdude 2018-11-27T15:37:58.010200Z

this is how I detected most of that merge stuff

borkdude 2018-11-27T15:47:09.010500Z

here’s one more btw: https://github.com/mfikes/coal-mine/pulls