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_wast.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_wast.py')
0 files changed, 0 insertions, 0 deletions