diff options
author | Alon Zakai <alonzakai@gmail.com> | 2016-11-11 17:07:00 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-11-11 17:07:00 -0800 |
commit | 4f18246f37becf6aae00bd8863401ec44462a08c (patch) | |
tree | 80594a7a8f334a608d97544471a12e5b45e967b4 /scripts/fuzz_passes.py | |
parent | 485b1dca62848be92f9fcce4a70a5c63eb5015ee (diff) | |
download | binaryen-4f18246f37becf6aae00bd8863401ec44462a08c.tar.gz binaryen-4f18246f37becf6aae00bd8863401ec44462a08c.tar.bz2 binaryen-4f18246f37becf6aae00bd8863401ec44462a08c.zip |
add --mem-max option to set the maximum size of memory, overriding the default (which is the normal size of memory if no growth, or infinity if growth) (#837)
Diffstat (limited to 'scripts/fuzz_passes.py')
0 files changed, 0 insertions, 0 deletions