NWI-I00110-Testing-Techniques - Files related to NWI-I00110 Testing Techniques, autumn 2017, Radboud University Nijmegen.

Age	Commit message (Collapse)	Author	Files	Lines
2017-11-22	Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-Techniques into ↵	Camil Staps	1	-0/+7
	2-quickcheck-property-zwart-wit-mag-geen-wit-zwart-stuk-verplaatsen
2017-11-22	Add prop_dont_touch_my_pieces	Camil Staps	1	-1/+7

2017-11-22	Implement Check after own move prop	Erin van der Veen	1	-0/+7

2017-11-20	Hotfix for prop_no_pawns_on_1_and_8	Camil Staps	1	-1/+1

2017-11-20	Merge branch ↵	Erin van der Veen	1	-1/+7
	'5-quickcheck-property-there-can-never-be-a-pawn-on-rank-a-and-h' into 'master' Add prop_no_pawns_on_1_and_8 Closes #5 See merge request eveen/Testing-Techniques!4
2017-11-20	Merge branch ↵	Camil Staps	1	-0/+5
	'7-quickcheck-property-if-a-side-was-in-check-before-a-ply-he-should-not-be-in-check-anymore-after-that-ply' into 'master' Add sequential check property Closes #7 See merge request eveen/Testing-Techniques!6
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 atAnyStaterefactor-atAnyState	Camil Staps	1	-6/+1

2017-11-20	Merge branch 'master' into ↵	Camil Staps	1	-1/+19
	5-quickcheck-property-there-can-never-be-a-pawn-on-rank-a-and-h
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 ↵	Erin van der Veen	1	-4/+12
	1-quickcheck-property-niet-meer-stukken-op-het-bord-na-een-zet
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