circling way back - we sorted out how to do stateful property based testing a way that suited our needs

https://t.co/aIZX1W6ZLH

getting a stateful generator w/ shrinking wasn’t so hard in the end after assessing what had been done before - we didn’t like the various non-symbolic things out there so we just wrote the ~120 lines ourselves

one interesting thing was that it became obvious that search is a big issue - and lot of the literature is about pretty fancy stuff

one trick we employed that I think brings a lot of leverage is just bootstrap the initial world state so you don’t flounder in uninteresting spaces

maybe already covered by trivial unit tests (which never go very deep)