Skip to content

Latest commit

 

History

History

bird_tree

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
Bird.hs
Bird.hs
 
 
BirdLib.hs
BirdLib.hs
 
 
Makefile
Makefile
 
 
README.md
README.md
 
 
Tree.hs
Tree.hs
 
 
TreePBT.hs
TreePBT.hs
 
 
haskell23.pdf
haskell23.pdf
 
 

README.md

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