Merge pull request #36 from bgd-labs/feat/icon-and-readme

feat: updated icon and link to Certora report
Certora · Sep 27, 2023 · 8607a40 · 8607a40
2 parents 18d7e67 + e5724f2
commit 8607a40
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -29,7 +29,7 @@ After having installed Foundry:
     - [Storage layout diffs](./diffs/)
 - Security review and properties checking (formal verification) by [Certora](https://www.certora.com/), service provider of the Aave DAO.
     - [Properties](./certora/README.md)
-    - [Reports](./certora/report/Formal%20Verification%20Report%20of%20AAVE%20Token%20V3.md)
+    - [Reports](./certora/reports/Formal_Verification_Report_AAVE_Token_V3.pdf)
 
 <br>
 

diff --git a/aave-token-v3.png b/aave-token-v3.png