manopapad/proper — Issue #21: Bug updating state for statem post conditions
Author: davisp
Created: 2011-11-14 03:25:04+00:00
State: open

Unless I'm completely misunderstanding how post conditions are supposed to work, this appears to be a bug in passing the old state to the postcondition function:

https://github.com/manopapad/proper/blob/master/src/proper_statem.erl#L537

Seems like it should really be using State2 from line 534.