Code

Certora Aave-Token-V3 Rules#16

Code

Open

jessicapointing wants to merge 3 commits intoCertora:certora-communityCertora/aave-token-v3:certora-communityfrom jessicapointing:certora-communityjessicapointing/aave-token-v3:certora-communityCopy head branch name to clipboard

+2,281-4

Commits

Commits on Aug 5, 2022

• added rules 1-7

  jessicapointing

  committed
  34ee605

  Copy full SHA for 34ee605

Commits on Aug 6, 2022

• added more rules

  jessicapointing

  committed
  41d4e83

  Copy full SHA for 41d4e83

• final rules

  jessicapointing

  committed
  bea75c2

  Copy full SHA for bea75c2