search

advancedtelematic / quickcheck-state-machine

Test monadic programs using state machine based models
Other
204 stars 25 forks source link

Write thread sqlite #349

Closed kderme closed 4 years ago

kderme commented 4 years ago

Add a new SQLite example. The semantics use SQLite in a bit different way than normal: all write request are serialized on a TBQueue and there is a single thread which takes them out of the queue and executes them.

I should note this test has some features borrowed from tests here https://github.com/input-output-hk/ouroboros-network and http://www.well-typed.com/blog/2019/01/qsm-in-depth/

kderme commented 4 years ago

Failure is probably related to runMigrationSilent from persistent, which does some strange stuff with the stderr handle. I reported it to peristent.