aboutsummaryrefslogtreecommitdiff
path: root/tests/Properties.hs
Commit message (Expand)AuthorAgeFilesLines
* add basic list primitivesAkshay2020-10-151-2/+2
* add PBTs for arithmetic operatorsAkshay2020-10-141-16/+22
* rework test suiteAkshay2020-10-131-7/+17
* initAkshay2020-10-081-0/+15