diff options
| author | Dmitry Vyukov <dvyukov@google.com> | 2017-06-13 14:10:42 +0200 |
|---|---|---|
| committer | Dmitry Vyukov <dvyukov@google.com> | 2017-06-13 14:10:42 +0200 |
| commit | 94d07c31c1ef299a2d45990154a5beae411388bc (patch) | |
| tree | 2b433206051ce7afb89a5a66f9975317a7fe9d2a /executor/executor.cc | |
| parent | 75fc393514b64e2416c5a2d5a29997981ec12dc4 (diff) | |
executor: reformat
Diffstat (limited to 'executor/executor.cc')
| -rw-r--r-- | executor/executor.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index e0280054c..68d5276aa 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -576,7 +576,7 @@ void handle_completion(thread_t* th) write_output(reserrno); write_output(th->fault_injected); uint32_t* signal_count_pos = write_output(0); // filled in later - uint32_t* cover_count_pos = write_output(0); // filled in later + uint32_t* cover_count_pos = write_output(0); // filled in later // Write out feedback signals. // Currently it is code edges computed as xor of two subsequent basic block PCs. |