diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-10-16 22:00:16 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-10-16 22:00:16 +0200 |
| commit | 6d84c5d2d78c750299099fdfb22f694e2e1b89a6 (patch) | |
| tree | bc448e4fd1b2a369f7b05d912e0cc1f8b1e7cc6e /executor | |
| parent | f8f416fb8f2ce79d0cbf980ee53ddb68fac850ca (diff) | |
add mutate tool that allows to manually investigate mutator behavior
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions