diff options
| author | Max Graey <maxgraey@gmail.com> | 2022-06-22 22:29:19 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-06-22 12:29:19 -0700 |
| commit | 98016931d9de23c0b6a4b5b0df5d4c3954da2f39 (patch) | |
| tree | d664bffc3baf567cbbc2d6e68803e72d4fd67e59 | |
| parent | 1d2c75948bfe8236b248ec6999eae852398409c3 (diff) | |
| download | binaryen-98016931d9de23c0b6a4b5b0df5d4c3954da2f39.tar.gz binaryen-98016931d9de23c0b6a4b5b0df5d4c3954da2f39.tar.bz2 binaryen-98016931d9de23c0b6a4b5b0df5d4c3954da2f39.zip | |
[Fuzzer] Pretty print of feature opts and passes (#4740)
| -rwxr-xr-x | scripts/fuzz_opt.py | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index 15c052937..745065732 100755 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -119,7 +119,7 @@ def randomize_feature_opts(): FEATURE_OPTS.append(possible) if possible in IMPLIED_FEATURE_OPTS: FEATURE_OPTS.extend(IMPLIED_FEATURE_OPTS[possible]) - print('randomized feature opts:', ' '.join(FEATURE_OPTS)) + print('randomized feature opts:', '\n ' + '\n '.join(FEATURE_OPTS)) ALL_FEATURE_OPTS = ['--all-features', '-all', '--mvp-features', '-mvp'] @@ -1050,7 +1050,7 @@ def test_one(random_input, given_wasm): pick_initial_contents() opts = randomize_opt_flags() - print('randomized opts:', ' '.join(opts)) + print('randomized opts:', '\n ' + '\n '.join(opts)) print() if given_wasm: |