aboutsummaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* add PBTs for arithmetic operatorsAkshay2020-10-142-18/+24
| | | | | - commutativity of addition - commutativity of multiplication
* rework test suiteAkshay2020-10-132-10/+18
|
* initAkshay2020-10-082-0/+23