文件名称：quickcheck-state-machine：使用基于状态机的模型测试monadic程序
文件大小：1.59MB
文件格式：ZIP
更新时间：2024-02-24 21:19:47
testing haskell haskell-library quickcheck property-based-testing
quickcheck-state-machine：使用基于状态机的模型测试monadic程序
【文件预览】：
quickcheck-state-machine-master
----Setup.hs(46B)
----src()
--------Test()
----quickcheck-state-machine.cabal(6KB)
----.hlint.yaml(2KB)
----CONTRIBUTING.md(438B)
----.travis.yml(10KB)
----LICENSE(2KB)
----test()
--------Echo.hs(7KB)
--------Overflow.hs(6KB)
--------ProcessRegistry.hs(20KB)
--------Hanoi.hs(5KB)
--------SQLite.hs(18KB)
--------ErrorEncountered.hs(6KB)
--------UnionFind.hs(8KB)
--------IORefs.hs(4KB)
--------Schema.hs(2KB)
--------ShrinkingProps.hs(29KB)
--------CircularBuffer.hs(13KB)
--------CrudWebserverDb.hs(17KB)
--------Cleanup.hs(12KB)
--------MemoryReference.hs(11KB)
--------Spec.hs(12KB)
--------Mock.hs(4KB)
--------Bookstore.hs(17KB)
--------TicketDispenser.hs(8KB)
--------RQlite.hs(25KB)
--------DieHard.hs(6KB)
----README.md(27KB)
----talk()
--------bobkonf-2019-summer-icfp()
--------bobkonf-2019()
--------bobkonf-2018()
----stack.yaml(898B)
----.stylish-haskell.yaml(6KB)
----.gitignore(176B)
----CHANGELOG.md(5KB)