[Certora] SumOfCredits equals TotalUnits plus Fees. - #1063

Open

jhoenicke wants to merge 4 commits into

mainfrom

certora/sumofcredits

Commits on Jul 13, 2026

Spec: SumOfCredits equals TotalUnits plus Fees.
jhoenicke
committed
9963194
Ran formatter
jhoenicke
committed
5345d1b
Don't filter withdraw, lint configs
jhoenicke
committed
dcdd4c8
Clean up method block and fix it
jhoenicke
committed
dd5df1d