summaryrefslogtreecommitdiff
path: root/scripts
diff options
context:
space:
mode:
authorThomas Lively <tlively@google.com>2024-07-18 14:43:23 -0400
committerGitHub <noreply@github.com>2024-07-18 11:43:23 -0700
commitfd867a3865d079b7f9c8ec1c7fc6d02a4de28b4c (patch)
tree0a26805a992880afdbd64162d31045b6ae998a04 /scripts
parentb91966f7999175e8b03da9a7a9dcdb07e4749fb1 (diff)
downloadbinaryen-fd867a3865d079b7f9c8ec1c7fc6d02a4de28b4c.tar.gz
binaryen-fd867a3865d079b7f9c8ec1c7fc6d02a4de28b4c.tar.bz2
binaryen-fd867a3865d079b7f9c8ec1c7fc6d02a4de28b4c.zip
[threads] ref.i31_shared requires shared-everything in validation (#6767)
Diffstat (limited to 'scripts')
-rwxr-xr-xscripts/fuzz_opt.py1
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py
index e7826c0f3..0f3bc3f3f 100755
--- a/scripts/fuzz_opt.py
+++ b/scripts/fuzz_opt.py
@@ -362,6 +362,7 @@ INITIAL_CONTENTS_IGNORE = [
'type-ssa-shared.wast',
'shared-ref_eq.wast',
'shared-types-no-gc.wast',
+ 'shared-ref-i31.wast',
]