diff options
Diffstat (limited to 'executor/executor_akaros.cc')
| -rw-r--r-- | executor/executor_akaros.cc | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/executor/executor_akaros.cc b/executor/executor_akaros.cc index 70940dbb4..4523b736a 100644 --- a/executor/executor_akaros.cc +++ b/executor/executor_akaros.cc @@ -96,6 +96,16 @@ uint32 read_cover_size(thread_t* th) return 0; } +bool cover_check(uint32 pc) +{ + return true; +} + +bool cover_check(uint64 pc) +{ + return true; +} + uint32* write_output(uint32 v) { return &output; |