diff options
| author | Alon Zakai <azakai@google.com> | 2019-07-19 10:31:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-07-19 10:31:23 -0700 |
| commit | 59b5c1d7869822d85477e227fd51891fd8445e7c (patch) | |
| tree | 32b425ea175c2e12077680dca4614f5a893ef103 | |
| parent | 8d3bc3f67cd55e99de29b66c43dbe2806a4dcdfb (diff) | |
| download | binaryen-59b5c1d7869822d85477e227fd51891fd8445e7c.tar.gz binaryen-59b5c1d7869822d85477e227fd51891fd8445e7c.tar.bz2 binaryen-59b5c1d7869822d85477e227fd51891fd8445e7c.zip | |
Fuzzing: Emit BINARYEN_PASS_DEBUG in the autoreducer scripts - that env var is the one piece of global state we use (#2237)
| -rw-r--r-- | scripts/fuzz_opt.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/scripts/fuzz_opt.py b/scripts/fuzz_opt.py index c30a48720..7c4a87953 100644 --- a/scripts/fuzz_opt.py +++ b/scripts/fuzz_opt.py @@ -455,7 +455,8 @@ def write_commands(commands, filename): f.write('set -e\n') for command in commands: f.write('echo "%s"\n' % command) - f.write(command + ' &> /dev/null\n') + pre = 'BINARYEN_PASS_DEBUG=%s ' % (os.environ.get('BINARYEN_PASS_DEBUG') or '0') + f.write(pre + command + ' &> /dev/null\n') f.write('echo "ok"\n') |