summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAlon Zakai <azakai@google.com>2022-05-02 10:12:08 -0700
committerGitHub <noreply@github.com>2022-05-02 17:12:08 +0000
commit4cb74fc379628f58bad45be2c5ca0b0350d0108b (patch)
tree634987369d133e513419905678e45fa9bad1e623
parent7ec32487ff4e653916abad8ccc86b5149f352ed0 (diff)
downloadbinaryen-4cb74fc379628f58bad45be2c5ca0b0350d0108b.tar.gz
binaryen-4cb74fc379628f58bad45be2c5ca0b0350d0108b.tar.bz2
binaryen-4cb74fc379628f58bad45be2c5ca0b0350d0108b.zip
[NominalFuzzing] Use feature flags in a missing place (#4628)
Instead of a raw run command, use the helper function, which adds the feature flags. That adds --nominal which is needed more now after #4625 This fixes the fuzz failures mentioned in #4625 (comment)
-rwxr-xr-xscripts/fuzz_opt.py2
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py
index c5627cbde..ac84898ba 100755
--- a/scripts/fuzz_opt.py
+++ b/scripts/fuzz_opt.py
@@ -858,7 +858,7 @@ class Wasm2JS(TestCaseHandler):
# the trap, which lets us compare at least some results in some cases.
# (this is why wasm2js is not in CompareVMs, which does full
# comparisons - we need to limit the comparison in a special way here)
- interpreter = run([in_bin('wasm-opt'), before_wasm_temp, '--fuzz-exec-before'])
+ interpreter = run_bynterp(before_wasm_temp, ['--fuzz-exec-before'])
if TRAP_PREFIX in interpreter:
trap_index = interpreter.index(TRAP_PREFIX)
# we can't test this function, which the trap is in the middle of.