diff options
Diffstat (limited to 'executor/executor.cc')
| -rw-r--r-- | executor/executor.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/executor/executor.cc b/executor/executor.cc index 704a284a9..53c52efc3 100644 --- a/executor/executor.cc +++ b/executor/executor.cc @@ -376,6 +376,8 @@ struct cover_t { intptr_t pc_offset; // The coverage buffer has overflowed and we have truncated coverage. bool overflow; + // True if cover_enable() was called for this object. + bool enabled; }; struct thread_t { |