Skip to content

Latest commit

聽

History

History
3 lines (3 loc) 路 544 Bytes

File metadata and controls

3 lines (3 loc) 路 544 Bytes

QuickCheckTutorial

Hello and welcome to the QuickCheck tutorial. This project will present the introduction to QuickCheck from basic stuff to the more advanced. We will be covering QuickCheck 2.16. version so if you have some other version be aware that some parts of code might not work. Link to tutorial. Please also take some time to look over some examples in the src folder. The tutorial is still under construction 馃毀.