diff options
| author | Alon Zakai <azakai@google.com> | 2021-03-12 12:20:36 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-03-12 12:20:36 -0800 |
| commit | d31f202cf860ba8690db2f4c3d521dfc6a178b5c (patch) | |
| tree | 76fe0aea1105595e17386830d90c5e87a173d48c /scripts | |
| parent | 486f2611be3aefae0079de3c566474c9ed87a320 (diff) | |
| download | binaryen-d31f202cf860ba8690db2f4c3d521dfc6a178b5c.tar.gz binaryen-d31f202cf860ba8690db2f4c3d521dfc6a178b5c.tar.bz2 binaryen-d31f202cf860ba8690db2f4c3d521dfc6a178b5c.zip | |
Fix fuzz issue with ElementSegment name collisions (#3674)
Now that they have names they can collide. All the fuzzer wants is
to ensure there is a segment to add to, so if there is one, do not
add another.
Diffstat (limited to 'scripts')
0 files changed, 0 insertions, 0 deletions