diff options
| author | Alon Zakai <azakai@google.com> | 2020-10-21 09:00:03 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-10-21 09:00:03 -0700 |
| commit | fd4cfd180db4d8c9b2b99dca18e31763399b4702 (patch) | |
| tree | fb1ddf7022c2ab68efcc8617d2b263474b62cd33 /scripts/fuzz_opt.py | |
| parent | c61cb6f07a244067a7964d0d99c0fef0a068a3bf (diff) | |
| download | binaryen-fd4cfd180db4d8c9b2b99dca18e31763399b4702.tar.gz binaryen-fd4cfd180db4d8c9b2b99dca18e31763399b4702.tar.bz2 binaryen-fd4cfd180db4d8c9b2b99dca18e31763399b4702.zip | |
Fuzzer: run emcc with memory growth enabled, to allow larger things to run (#3269)
Diffstat (limited to 'scripts/fuzz_opt.py')
| -rwxr-xr-x | scripts/fuzz_opt.py | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index eddb33b21..1070b9868 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -433,7 +433,11 @@ class CompareVMs(TestCaseHandler): def run(self, wasm): run([in_bin('wasm-opt'), wasm, '--emit-wasm2c-wrapper=main.c'] + FEATURE_OPTS) run(['wasm2c', wasm, '-o', 'wasm.c']) - compile_cmd = ['emcc', 'main.c', 'wasm.c', os.path.join(self.wasm2c_dir, 'wasm-rt-impl.c'), '-I' + self.wasm2c_dir, '-lm'] + compile_cmd = ['emcc', 'main.c', 'wasm.c', + os.path.join(self.wasm2c_dir, 'wasm-rt-impl.c'), + '-I' + self.wasm2c_dir, + '-lm', + '-s', 'ALLOW_MEMORY_GROWTH'] # disable the signal handler: emcc looks like unix, but wasm has # no signals compile_cmd += ['-DWASM_RT_MEMCHECK_SIGNAL_HANDLER=0'] |