diff options
Diffstat (limited to 'src/tools/execution-results.h')
-rw-r--r-- | src/tools/execution-results.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/tools/execution-results.h b/src/tools/execution-results.h index 13771a69d..9ef3d2e1e 100644 --- a/src/tools/execution-results.h +++ b/src/tools/execution-results.h @@ -71,7 +71,7 @@ struct ExecutionResults { // this has a result results[exp->name] = run(func, wasm, instance); // ignore the result if we hit an unreachable and returned no value - if (isConcreteType(results[exp->name].type)) { + if (results[exp->name].type.isConcrete()) { std::cout << "[fuzz-exec] note result: " << exp->name << " => " << results[exp->name] << '\n'; } |