Code

Added rules#8

Code

Open

oracleorb wants to merge 2 commits intoCertora:certoraCertora/aave-starknet-bridge:certorafrom oracleorb:certoraoracleorb/aave-starknet-bridge:certoraCopy head branch name to clipboard

+297-13

Commits

Commits on Sep 5, 2022

• Added rules

  oracleorb

  committed
  c734d69

  Copy full SHA for c734d69

Commits on Sep 6, 2022

• Added more rules

  oracleorb

  committed
  1f0cb97

  Copy full SHA for 1f0cb97