Skip to content

fix(avm): some fuzzer bugs and contract addresses in external call#19671

Merged
sirasistant merged 1 commit into
ir/01-15-feat_avm_boundary_values_for_mutationsfrom
ir/01-16-fix_avm_fuzzer_bugs_and_external_call
Jan 16, 2026
Merged

fix(avm): some fuzzer bugs and contract addresses in external call#19671
sirasistant merged 1 commit into
ir/01-15-feat_avm_boundary_values_for_mutationsfrom
ir/01-16-fix_avm_fuzzer_bugs_and_external_call

Conversation

@IlyasRidhuan

@IlyasRidhuan IlyasRidhuan commented Jan 16, 2026

Copy link
Copy Markdown
Contributor

Adding contract addresses to the context so that external call can utilise them.

also some bugs that impacted enqueued call mutations

IlyasRidhuan commented Jan 16, 2026

Copy link
Copy Markdown
Contributor Author

@IlyasRidhuan IlyasRidhuan changed the title fix(avm): enqueued call mutation bugs fix(avm): some fuzzer bugs and contract addresses in external call Jan 16, 2026
@IlyasRidhuan IlyasRidhuan marked this pull request as ready for review January 16, 2026 15:45
{
if (contract_addresses.empty()) {
address = generate_random_field(rng);
return;

Copy link
Copy Markdown
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

this was a bug

@sirasistant sirasistant merged commit 704f6e0 into ir/01-15-feat_avm_boundary_values_for_mutations Jan 16, 2026
12 of 15 checks passed
@sirasistant sirasistant deleted the ir/01-16-fix_avm_fuzzer_bugs_and_external_call branch January 16, 2026 15:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants