summaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
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
2017-10-02Clean the header of './assignments/assignment1.tex'.René den Hertog1-4/+20
2017-10-02Fix the ignoration of '.out' files.René den Hertog1-1/+4
2017-10-01Automated parser testerCamil Staps2-0/+92
2017-09-25Add 10 manual testsErin van der Veen21-0/+3223
2017-09-18Print every state in the game; Create 1 manual test; Remove *.out from .gitig...Erin van der Veen6-69/+763
2017-09-18Add wrapper source codeCamil Staps1-4/+10
2017-09-18Testing setup graphicCamil Staps1-4/+31
2017-09-18Print every gamestate to stdout; Add fault test; Add runchess to gitignoreErin van der Veen5-8/+57
2017-09-18Continue assignment1Erin van der Veen4-24/+356
2017-09-18Merge branch 'wrapper' into 'master'Camil Staps5-0/+118
2017-09-16Basic wrapperCamil Staps5-0/+118
2017-09-16Fix typos in assignment1.texErin van der Veen1-2/+2
2017-09-16Write SUT description where possibleErin van der Veen1-0/+21