search

advancedtelematic / quickcheck-state-machine

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

Bookstore example from propertesting.com #332

Closed abonie closed 5 years ago

abonie commented 5 years ago

PostgreSQL simple app, that allows creating, updating and reading from database.

Based on: http://propertesting.com/book_case_study_stateful_properties_with_a_bookstore.html

Signed-off-by: Adam Boniecki adambonie@gmail.com