diff options
| author | Alon Zakai <azakai@google.com> | 2023-03-01 14:25:10 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-01 14:25:10 -0800 |
| commit | 9042f84e213c843d85a90c39ee3006a4d5e4c7a1 (patch) | |
| tree | 221f38134a120557545da6bdcd065ec1ccdfd41b /scripts/update_help_checks.py | |
| parent | 50279271a0561614b41e73ed0b463181ce7c4ba2 (diff) | |
| download | binaryen-9042f84e213c843d85a90c39ee3006a4d5e4c7a1.tar.gz binaryen-9042f84e213c843d85a90c39ee3006a4d5e4c7a1.tar.bz2 binaryen-9042f84e213c843d85a90c39ee3006a4d5e4c7a1.zip | |
Fuzzer: Count the number of VM runs we ignore (#5538)
If this number ever gets high then we would need to look into
why we ignore so much. Right now we seem to end up ignoring
much less than 1% which seems ok.
Diffstat (limited to 'scripts/update_help_checks.py')
0 files changed, 0 insertions, 0 deletions