diff options
| author | Thomas Lively <tlively@google.com> | 2023-09-14 16:42:20 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-14 16:42:20 -0700 |
| commit | b2e92275581f0f57f3f8cf82a459e9a28456a383 (patch) | |
| tree | 3ebc61cbcfc5378a457372b0252260f654056e1e /scripts/fuzz_opt.py | |
| parent | 56ce1eaba7f500b572bcfe06e3248372e9672322 (diff) | |
| download | binaryen-b2e92275581f0f57f3f8cf82a459e9a28456a383.tar.gz binaryen-b2e92275581f0f57f3f8cf82a459e9a28456a383.tar.bz2 binaryen-b2e92275581f0f57f3f8cf82a459e9a28456a383.zip | |
Enable auto_initial_contents by default in fuzz_opt.py (#5943)
This setting is useful enough that there is basically no reason not to use it.
Turn it on by default to save some typing when running the fuzzer.
Diffstat (limited to 'scripts/fuzz_opt.py')
| -rwxr-xr-x | scripts/fuzz_opt.py | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 7b8688c5e..37e24be2e 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -254,7 +254,8 @@ def init_important_initial_contents(): return False if not is_git_repo() and shared.options.auto_initial_contents: - print('Warning: The current directory is not a git repository, so you cannot use "--auto-initial-contents". Using the manually selected contents.\n') + print('Warning: The current directory is not a git repository, ' + + 'so not automatically selecting initial contents.') shared.options.auto_initial_contents = False print('- Perenially-important initial contents:') @@ -1765,8 +1766,8 @@ on valid wasm files.) shutil.copyfile('a.wasm', original_wasm) # write out a useful reduce.sh auto_init = '' - if shared.options.auto_initial_contents: - auto_init = '--auto-initial-contents' + if not shared.options.auto_initial_contents: + auto_init = '--no-auto-initial-contents' with open('reduce.sh', 'w') as reduce_sh: reduce_sh.write('''\ # check the input is even a valid wasm file |