Open edsko opened 4 years ago
Hmm, yeah I can see that being problematic.
I don't remember why I did it like I did (perhaps I misunderstood your code?), and I'm not actively using that code anymore today, so I guess maybe the right thing is to simply remove it?
Module
Test.StateMachine.Labelling
definesWhile this is not wrong in that module, it is misleading and rather dangerous. This type is based on,and almost equal to the one I define in my blog post, but not quite. Compare to the
Event
type defined inTest.StateMachine.Lockstep.NAry
:This records the mock response, not the real one. This is critical: if this records the real response, and then the rest of my blog post is used as is, then the
postcondition
becomes trivial, comparing the real response to itself.