Skip to content

[Certora] Simplify veirifcation configuration#466

Closed
colin-morpho wants to merge 2 commits intomainfrom colin@verif/simplify-config

Commits

Commits on Dec 26, 2024