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: Nov 22 2024 at 17:03 UTC