diff options
| author | Erin van der Veen | 2017-11-25 09:31:37 +0100 |
|---|---|---|
| committer | Erin van der Veen | 2017-11-25 09:31:37 +0100 |
| commit | 79fd5d3c142075132791bf2da77c88c214c8464b (patch) | |
| tree | a47bfb1b96f25307f0ecea2bd3eeb77388bed96d /.gitignore | |
| parent | Merge branch '8-quickcheck-property-pinned-pieces-cannot-move' into 'master' (diff) | |
| parent | Remove illegal moves (diff) | |
Merge branch 'trivial-tests' into 'master'
Add reports on triviality of test cases
See merge request eveen/Testing-Techniques!10
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions