diff options
| author | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-05 18:05:47 +0100 |
|---|---|---|
| committer | Timotej Lazar <timotej.lazar@fri.uni-lj.si> | 2016-01-05 18:05:47 +0100 |
| commit | 547b44c17b058e5605b31fb8b86abf9b2b894608 (patch) | |
| tree | f21c7f54f2243b6cc49bcc037689aad0941c2ee9 /server | |
| parent | 9acb5e65c128a3d06567f2142a1bf603780187fc (diff) | |
monkey.edits: only add solutions to predicates that are actually used when testing
Diffstat (limited to 'server')
0 files changed, 0 insertions, 0 deletions