Stevan A

Yes, this can be improved for sure! I once had the idea that a nice output could be obtained by combining the initial `Logic` formula and the `Counterexample` that the...

And the Stack builds all seem to miss the cache and timeout...

What do you mean by "return a passing Result"?

> Also the equivalent NParallel.. commands may encounter executeCommands: impossible (for example when an exception during a MemoryReferene Create fails) because this #317 is not adopted yet. Yes, we should...

The parallel property shouldn't necessarily fail if an exception is thrown on one of the threads. It should only fail if we cannot complete the history (#317) in any way...

Another way to think of it is that `runParallelCommands` should be used when there's no fault injection (exceptions), while `runParallelCommands'` should be used when there's fault injection.

> I personally agree a bit more with the second option... Yeah, I think you're right -- that's probably the better option.

I noticed that Erlang uses a list of suffices, i.e. `ParallelProg = { prefix: Prog, suffixes : [Prog] }`...

I remember John Hughes quoting a paper that shows that empirically most concurrency bugs can be triggered with two threads. It can become more important to have more threads when...

Nice idea! (Having a user-land scheduler that we could deterministically control would be great, but that's much more work.)