diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2015-11-06 23:15:40 +0100 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2015-11-06 23:15:40 +0100 |
| commit | a44473e4a4de4d1c3a192c87a41e7a2234898987 (patch) | |
| tree | bfb3cb009a299ff6ba13786091d85f4f2dbb7f45 /executor/syscalls.h | |
| parent | 1334407ba4285066efb24d80374e40d803be370b (diff) | |
add collide mode to executor
In this mode we execute pairs of syscalls concurrently
to provoke data races in kernel.
Diffstat (limited to 'executor/syscalls.h')
0 files changed, 0 insertions, 0 deletions