diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-01-31 20:21:01 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-02-01 15:20:12 +0100 |
| commit | d973f28294d93cf54de9b2b87d4cc8524bb8a28a (patch) | |
| tree | a88c26c1e1de0afa0340e7213b2738f81f40bb22 /executor/executor_windows.cc | |
| parent | a84dec47f0bdc461828c2903429e669fc0fa5e10 (diff) | |
prog: don't serialize default arguments
This reduces size of a corpus in half.
We store corpus on manager and on hub,
so this will reduce their memory consumption.
But also makes large programs more readable.
Diffstat (limited to 'executor/executor_windows.cc')
0 files changed, 0 insertions, 0 deletions
