prop_bookstore :: Bug -> IO String -> Property
prop_bookstore bug io =
  forAllCommands sm' Nothing $ \cmds -> monadic (ioProperty . runner io) $ do
    (hist, _, res) <- runCommands sm' cmds

    prettyCommands sm' hist $ res === Ok
  where
    sm' = sm bug

-- Setup PostgreSQL db in Docker
prop_bookstore :: Bug -> IO String -> Property
prop_bookstore bug io =
  forAllCommands sm' Nothing $ \cmds -> monadic (ioProperty . runner io) $ do
    (hist, _, res) <- runCommands sm' cmds

    prettyCommands sm' hist $ res === Ok
  where
    sm' = sm bug

-- Setup PostgreSQL db in Docker
prop_bookstore bug io =
  forAllCommands sm' Nothing $ \cmds -> monadic (ioProperty . runner io) $ do
    (hist, _, res) <- runCommands sm' cmds

    prettyCommands sm' hist $ res === Ok
  where
    sm' = sm bug

-- Setup PostgreSQL db in Docker