diff options
Diffstat (limited to 'executor/executor_akaros.cc')
| -rw-r--r-- | executor/executor_akaros.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/executor/executor_akaros.cc b/executor/executor_akaros.cc index f70e83807..8cb87d3d7 100644 --- a/executor/executor_akaros.cc +++ b/executor/executor_akaros.cc @@ -98,3 +98,8 @@ uint32_t* write_output(uint32_t v) void write_completed(uint32_t completed) { } + +bool kcov_comparison_t::ignore() const +{ + return false; +} |