Gustavo Bicalho

On the left, the trace I get for the spec with two separate actions; on the right, the trace I get for the spec with a single, non-deterministic action. ...

I've explored a little and found that the "two separate actions" implementation also fails if I run it with `initialStepsLeft = 6`. I suspect the real problem here is something...

Hi, thanks for replying! See https://github.com/awakesecurity/spectacle/issues/47#issuecomment-1037640137, I no longer think this is related to NonDet specifically. The two-action model fails when the number of steps is 6, with a similar...

> both are interleaved fairly (so that one action or stutter-steps cannot be applied infinitely many times) > ... > the run here is stuttering infinitely Hm, right, but I...

Hi, glad to see that you're going back to work on spectacle! Back when I open the issue I was evaluating whether to use it for a model at my...

We're already using `Network.Wai.Logger`, which uses `fast-logger`.