summaryrefslogtreecommitdiff
path: root/test/Test.hs
AgeCommit message (Expand)AuthorFilesLines
2017-11-22Fix random seed & do not shrink for reproducibilityCamil Staps1-8/+13
2017-11-22Pluralise triviality reportsCamil Staps1-1/+1
2017-11-22Add reports on triviality of test casesCamil Staps1-7/+8
2017-11-22Implement Check after own move propErin van der Veen1-0/+7
2017-11-20Hotfix for prop_no_pawns_on_1_and_8Camil Staps1-1/+1
2017-11-20Merge branch '5-quickcheck-property-there-can-never-be-a-pawn-on-rank-a-and-h...Erin van der Veen1-1/+7
2017-11-20Merge branch '7-quickcheck-property-if-a-side-was-in-check-before-a-ply-he-sh...Camil Staps1-0/+5
2017-11-20Add sequential check propertyErin van der Veen1-0/+5
2017-11-20nomenclatureCamil Staps1-2/+2
2017-11-20Refactor atAnyStaterefactor-atAnyStateCamil Staps1-6/+1
2017-11-20Merge branch 'master' into 5-quickcheck-property-there-can-never-be-a-pawn-on...Camil Staps1-1/+19
2017-11-20Add prop_no_pawns_on_1_and_8Camil Staps1-1/+7
2017-11-20Fix issues in number of pieces propertyErin van der Veen1-2/+4
2017-11-20Merge remote-tracking branch 'origin/master' into 1-quickcheck-property-niet-...Erin van der Veen1-4/+12
2017-11-20Add number of pieces property testErin van der Veen1-0/+16
2017-11-20Add pieceCoordsCamil Staps1-4/+12
2017-11-20Resolve #3: add property for number of kingsCamil Staps1-0/+16
2017-11-20Made Test.hs for adding propertiesCamil Staps1-0/+63
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-17 02:22:10 +0000