diff options
| author | Alon Zakai <azakai@google.com> | 2023-03-14 12:15:28 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-14 12:15:28 -0700 |
| commit | 5661c6f7e7eeb79445a0913ee0ed356b881a1ba2 (patch) | |
| tree | 996dad3be0fc1c3fd272f3a7e498ce9cca69b287 /src/shell-interface.h | |
| parent | 4f27e889dbdefa3b55d89f8b0cf319419eae41bd (diff) | |
| download | binaryen-5661c6f7e7eeb79445a0913ee0ed356b881a1ba2.tar.gz binaryen-5661c6f7e7eeb79445a0913ee0ed356b881a1ba2.tar.bz2 binaryen-5661c6f7e7eeb79445a0913ee0ed356b881a1ba2.zip | |
Fuzzer: CompareVMs: Do not compare when hitting a host limitation (#5562)
For example, we might hit an allocation limit in the wasm, but the
optimized wasm might optimize that allocation out. So we need to
ignore comparisons in such cases, as we cannot expect the output
to be identical. We already do similar things for FuzzExec and
#5560 adds it for TrapsNeverHappen; this adds it to CompareVMs.
Diffstat (limited to 'src/shell-interface.h')
0 files changed, 0 insertions, 0 deletions