diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-07-25 14:46:59 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-07-27 10:22:23 +0200 |
| commit | 68faa5258297b6ba1a167e8233e59ca2c6b2b995 (patch) | |
| tree | d826029465de57deb3c84218f9475e346f37ecd5 /executor | |
| parent | 0889ba7a79553599d0faaf78fb2403b90b1e1be4 (diff) | |
prog: parse comments in serialized programs
Remember per-call comments, will be useful for annotating tests.
Also support this form:
call() # comment
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions