afonso360 opened PR #5536 from argument-ext
to main
:
:wave: Hey,
This fixes #5531 by adding a verifier check and changing fuzzgen to not produce this type of code.
The check forbids argument extensions for anything that is not a scalar integer.
fitzgen submitted PR review.
fitzgen merged PR #5536.
Last updated: Dec 23 2024 at 13:07 UTC