diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/execution-results.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/tools/execution-results.h b/src/tools/execution-results.h index 94447ab4d..78972cfc9 100644 --- a/src/tools/execution-results.h +++ b/src/tools/execution-results.h @@ -250,6 +250,7 @@ struct ExecutionResults { if (!param.isDefaultable()) { std::cout << "[trap fuzzer can only send defaultable parameters to " "exports]\n"; + return Trap{}; } arguments.push_back(Literal::makeZero(param)); } |