Skip to content

fix(programs): interpret max_top_up as units of 1,000 lamports (L-07) - #2265

Merged
ananas-block merged 2 commits into
mainfrom
jorrit/fix-certora-l07-max-top-up-units
Feb 12, 2026
Merged

fix(programs): interpret max_top_up as units of 1,000 lamports (L-07)#2265
ananas-block merged 2 commits into
mainfrom
jorrit/fix-certora-l07-max-top-up-units

address comments

97876f8
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar