Skip to content

Changes from my Code Review.#1017

Open
jhoenicke wants to merge 5 commits into
certora/liquidationLivenessfrom
jochen/liquidationLiveness
Open

Changes from my Code Review.#1017
jhoenicke wants to merge 5 commits into
certora/liquidationLivenessfrom
jochen/liquidationLiveness

Replace one require with assert.

fb17b6e
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar