diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2018-06-29 20:34:43 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2018-06-29 20:34:43 +0200 |
| commit | f7498af7af98d89cb5dc49c872213a3a5ef8268a (patch) | |
| tree | 32abb56358551c45dbce9a4c865781009fddd122 /executor | |
| parent | 0c4b1960d01985c2d8d6da62e8c82395b70838c8 (diff) | |
prog: add stronger fallback signal
Also mixin resource constructors and some signature
of flags values for successful calls into fallback coverage.
Diffstat (limited to 'executor')
0 files changed, 0 insertions, 0 deletions