Skip to content

Latest commit

 

History

History
14 lines (11 loc) · 448 Bytes

README.md

File metadata and controls

14 lines (11 loc) · 448 Bytes

Property-based testing with QuickCheck in Haskell

* Tree.hs:
    Operations for Tree datatype
* TreePBT.hs:
    * Generator for Tree for quickcheck to generate tests.
    * Properties for testing tree's operations

Bird tree implementation in Haskell

* Bird.hs:
    * Bird's tree definition and properties for testing with quickCheck.
* BirdLib.hs:
    * helping functions for bird tree used for testing