jake

> 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 behaviour in the trace (a...

I believe it may just be that the implementation of `oneOf` is folding over the `empty` alternative, causing a no-op action to be allowed; however, I still haven't had the...

I made some crude changes to the CLI to enable performing a trace with property checks within the same `interaction` call in #55, e.g. ``` $ cabal v2-repl integration-tests ghci...

@thoughtpolice oh, and as for this comment: > Alternatively, you could modeltrace from the start and simply look for any inviolate state according to the temporal property, but this seems...

The CLI doesn't have a great way of doing implying options like GHC will with options or language extensions since the implementation is still naive. I agree its awkward however,...

I can't think of a reason why the syntax datatype would be useful in a separate package even if I went ahead and added the parser into the new package....

Right, being able to enumerate the set of fields for an enumeration would be convenient, e.g. ```haskell [minBound @MyEnumeration .. maxBound @MyEnumeration] ```

Although, it seems like the `Ord` instance respects field number, and having `Enum` deviate from that would be awkward?

The left hand side of `Enumerated` is only used when decoding the wire format parser successfully decodes a varint for an enum field, but the decoded varint does not correspond...

> Is there any update on this issue? Is there a plan to support the optional fields by proto3-suite? I have tried within the past 6 months and adding optional...