index
:
NWI-I00110-Testing-Techniques
annotate-castling-and-check
master
refactor-atAnyState
Files related to NWI-I00110 Testing Techniques, autumn 2017, Radboud University Nijmegen.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
test
/
Test.hs
Age
Commit message (
Expand
)
Author
Files
Lines
2017-11-20
Merge branch '5-quickcheck-property-there-can-never-be-a-pawn-on-rank-a-and-h...
Erin van der Veen
1
-1
/
+7
2017-11-20
Merge branch '7-quickcheck-property-if-a-side-was-in-check-before-a-ply-he-sh...
Camil Staps
1
-0
/
+5
2017-11-20
Add sequential check property
Erin van der Veen
1
-0
/
+5
2017-11-20
nomenclature
Camil Staps
1
-2
/
+2
2017-11-20
Refactor atAnyState
refactor-atAnyState
Camil Staps
1
-6
/
+1
2017-11-20
Merge branch 'master' into 5-quickcheck-property-there-can-never-be-a-pawn-on...
Camil Staps
1
-1
/
+19
2017-11-20
Add prop_no_pawns_on_1_and_8
Camil Staps
1
-1
/
+7
2017-11-20
Fix issues in number of pieces property
Erin van der Veen
1
-2
/
+4
2017-11-20
Merge remote-tracking branch 'origin/master' into 1-quickcheck-property-niet-...
Erin van der Veen
1
-4
/
+12
2017-11-20
Add number of pieces property test
Erin van der Veen
1
-0
/
+16
2017-11-20
Add pieceCoords
Camil Staps
1
-4
/
+12
2017-11-20
Resolve #3: add property for number of kings
Camil Staps
1
-0
/
+16
2017-11-20
Made Test.hs for adding properties
Camil Staps
1
-0
/
+63