stateful generative testing for Go - View it on GitHub