summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
2017-11-20Refactor atAnyStaterefactor-atAnyStateCamil Staps1-6/+1
2017-11-20Merge branch '1-quickcheck-property-niet-meer-stukken-op-het-bord-na-een-zet'...Camil Staps1-1/+19
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-20Merge branch '3-quickcheck-property-there-should-not-ever-be-more-than-2-king...Erin van der Veen2-1/+17
2017-11-20Resolve #3: add property for number of kingsCamil Staps2-1/+17
2017-11-20Made Test.hs for adding propertiesCamil Staps3-109/+119
2017-11-13Add shrink for PGNCamil Staps1-0/+2
2017-11-13Update introduction assignment 3Camil Staps1-5/+17
2017-11-13Add frequency-based arbitrary move generatorCamil Staps2-1/+7774
2017-11-13Assignment 3: Write small section on QuickCheck and relation to assignment 1Erin van der Veen1-0/+39
2017-10-26'Bounded Retransmission Protocol' BlobRené den Hertog64-0/+38501
2017-10-25Finish assignment 2, part 1Camil Staps1-4/+11
2017-10-25Reorganise full runsCamil Staps4-25/+3
2017-10-25Add final runs and models of Rivest-SchapireCamil Staps2-18/+83
2017-10-24Add Randomwalk and WPMethod full runsErin van der Veen4-0/+235
2017-10-24Add runs of Rivest-Schapire (RandomWalk and WMethod)Camil Staps2-0/+82
2017-10-23Add hypothesesCamil Staps5-73/+178
2017-10-231.1.4Camil Staps1-0/+8
2017-10-23CleanupCamil Staps1-10/+1
2017-10-16Remove PNGsCamil Staps7-0/+11
2017-10-16Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-TechniquesCamil Staps14-0/+297
2017-10-16de-misunderestimatingCamil Staps13-0/+398
2017-10-16Add counterexamples and hypotheses of same counterexample twiceErin van der Veen4-0/+152
2017-10-16Fix typo in ShapirErin van der Veen5-0/+0
2017-10-16Add counterexamples and Hypotheses for TTTErin van der Veen5-0/+145
2017-10-16Move assignment1 to own dir; Setup assignment2.tex; Add 4 hypotheses of Rives...Erin van der Veen8-0/+177
2017-10-05Argue about coverageCamil Staps1-0/+5
2017-10-05Add more testsCamil Staps11-32/+142
2017-10-05Test resultsCamil Staps3-15/+115
2017-10-02Continue with textCamil Staps2-43/+79
2017-10-02Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-TechniquesCamil Staps1-10/+4
2017-10-02AuthorsCamil Staps1-5/+1
2017-10-02Remove section on Statement Coverage; Reintroduce label to paragraph on Execu...Erin van der Veen1-10/+4
2017-10-02MergeHEADmasterCamil Staps1-4/+4
2017-10-02Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-TechniquesCamil Staps3-17/+37
2017-10-02Textual refinementsCamil Staps1-31/+58
2017-10-02Write section on Manual and Automated testingErin van der Veen1-2/+19
2017-10-02Ouput test name instead of filenameErin van der Veen1-2/+3
2017-10-02Print diff upon test failErin van der Veen1-0/+2
2017-10-02Merge branch 'master' of gitlab.science.ru.nl:eveen/Testing-TechniquesCamil Staps2-22/+15
2017-10-02BlahCamil Staps1-47/+93
2017-10-02Remove Camil's manual test 1.in; Run manual tests automaticallyErin van der Veen2-22/+15
2017-10-02Start the skeleton of the 'Manual Testing' & 'Automated Testing' sections.René den Hertog1-0/+7
2017-10-02Improve the 'Test Environment' section of the 'Test Plan'.René den Hertog1-28/+29
2017-10-02Improve the 'Test Method' section of the 'Test Plan'.René den Hertog1-18/+34
2017-10-02Improve the 'Test Goals' section of the 'Test Plan'.René den Hertog1-18/+75
2017-10-02Improve the 'System Under Test (SUT) Description' section of the 'Test Plan'.René den Hertog1-24/+20
generated by cgit v1.2.3 (git 2.39.1) at 2025-03-14 05:49:37 +0000