diff options
| author | Alon Zakai <azakai@google.com> | 2022-05-02 10:12:08 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-05-02 17:12:08 +0000 |
| commit | 4cb74fc379628f58bad45be2c5ca0b0350d0108b (patch) | |
| tree | 634987369d133e513419905678e45fa9bad1e623 /src/tools | |
| parent | 7ec32487ff4e653916abad8ccc86b5149f352ed0 (diff) | |
| download | binaryen-4cb74fc379628f58bad45be2c5ca0b0350d0108b.tar.gz binaryen-4cb74fc379628f58bad45be2c5ca0b0350d0108b.tar.bz2 binaryen-4cb74fc379628f58bad45be2c5ca0b0350d0108b.zip | |
[NominalFuzzing] Use feature flags in a missing place (#4628)
Instead of a raw run command, use the helper function, which adds the
feature flags. That adds --nominal which is needed more now after #4625
This fixes the fuzz failures mentioned in #4625 (comment)
Diffstat (limited to 'src/tools')
0 files changed, 0 insertions, 0 deletions