Skip to content

Fix msg.value balance accounting in invariant tests - #590

Open
DicksonWu654 wants to merge 1 commit into
a16z:mainfrom
DicksonWu654:fix/top-level-msg-value-balance
Open

Fix msg.value balance accounting in invariant tests#590
DicksonWu654 wants to merge 1 commit into
a16z:mainfrom
DicksonWu654:fix/top-level-msg-value-balance

fix invariant msg.value balance accounting

d992ea3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar