diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2017-09-01 12:34:03 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-01 12:34:03 -0700 |
| commit | 6de14693110b4f898344ff1cb383caf0d74eb42e (patch) | |
| tree | 6fbcb75fd3c2285191939a086989e14656908282 /.gitignore | |
| parent | b013f744e3d70effd9be348cbde7fb93f0a16c6a (diff) | |
| download | binaryen-6de14693110b4f898344ff1cb383caf0d74eb42e.tar.gz binaryen-6de14693110b4f898344ff1cb383caf0d74eb42e.tar.bz2 binaryen-6de14693110b4f898344ff1cb383caf0d74eb42e.zip | |
wasm-reduce tool (#1139)
Reduce an interesting wasm to a smaller still interesting wasm. This takes an arbitrary command to run, and reduces the wasm as much as it can while keeping the behavior of that command fixed. This can be used to reduce compiler bugs in an arbitrary VM, etc.
Diffstat (limited to '.gitignore')
| -rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 7e937aa4c..28042929a 100644 --- a/.gitignore +++ b/.gitignore @@ -21,6 +21,7 @@ shared.bc # autogenerated files by check.py a.* b.* +c.* ab.wast actual.out example.o |