refactor: remove unused Certora rules

* Certora ruleset has not been maintained for Venus IL, so some of the invariants may no longer hold. The interface of Venus IL contracts is also not always compatible with Compound. * This commit removes outdated Certora rules in favor of using a new ruleset in future once it's developed.
VenusProtocol · Sep 21, 2023 · b384429 · b384429
1 parent 6355810
commit b384429
Show file tree

Hide file tree

Showing 42 changed files with 0 additions and 3,675 deletions.
diff --git a/spec/certora/CErc20/accrueInterest.cvl b/spec/certora/CErc20/accrueInterest.cvl
diff --git a/spec/certora/CErc20/admin.cvl b/spec/certora/CErc20/admin.cvl