Code

Mutant payloads controller core 5#21

Code

Closed

nisnislevi wants to merge 16 commits intocertoraCertora/aave-governance-v3:certorafrom mutant-PayloadsControllerCore-5Certora/aave-governance-v3:mutant-PayloadsControllerCore-5Copy head branch name to clipboard

+2,470-1,314

Commits

Commits on Nov 14, 2023

• add parametric_contracts comment

  gadicer

  committed
  250c34e

• add mutants for payloads

  nisnislevi

  committed
  15d4ab7

• end of 14.11

  nisnislevi

  committed
  2756926

• Merge branch 'check_proposition_power' into nissan-mutants

  nisnislevi

  committed
  a9ef56b

Commits on Nov 16, 2023

• update report

  nisnislevi

  committed
  cc76f88

• voting chain mutant 1

  nisnislevi

  committed
  30fdfd9

• fixing

  nisnislevi

  committed
  52eda7f

• change yml trigger on PR

  nisnislevi

  committed
  442be5d

• voting chain mutant 6

  nisnislevi

  committed
  4e51ee4

• move files

  nisnislevi

  committed
  56dd861

• fixing

  nisnislevi

  committed
  9ce7232

• fixing mutants

  nisnislevi

  committed
  596d17d

• update report

  nisnislevi

  committed
  dd4a4a1

• update report

  nisnislevi

  committed
  ac14bec

• fix src

  nisnislevi

  committed
  569441e

• mutant payload 5

  nisnislevi

  committed
  e896d1f