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 06 2025 at 06:05 UTC