diff options
| -rwxr-xr-x | scripts/fuzz_opt.py | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 7f9dd91d0..c50411831 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -274,14 +274,6 @@ def init_important_initial_contents(): print(' ' + test) print() - # We prompt the user only when there is no seed given. This fuzz_opt.py is - # often used with seed in a script called from wasm-reduce, in which case we - # should not pause for a user input. - if given_seed is None: - ret = input('Do you want to proceed with these initial contents? (Y/n) ').lower() - if ret != 'y' and ret != '': - sys.exit(1) - initial_contents = FIXED_IMPORTANT_INITIAL_CONTENTS + recent_contents global IMPORTANT_INITIAL_CONTENTS IMPORTANT_INITIAL_CONTENTS = [os.path.join(shared.get_test_dir('.'), t) for t in initial_contents] |