Code

[Certora] Mutations#564

Code

Merged

QGarchery merged 34 commits intocertora/devmorpho-org/morpho-blue:certora/devfrom certora/gambitmorpho-org/morpho-blue:certora/gambitCopy head branch name to clipboardNov 27, 2023

+194-52

Commits

Commits on Nov 22, 2023

• feat: add gambit initial configuration

  QGarchery

  committed
  8106624

  Copy full SHA for 8106624

• fix: remove breaking solc version

  QGarchery

  committed
  d5c7303

  Copy full SHA for d5c7303

• test: mutant 2

  QGarchery

  committed
  766667f

  Copy full SHA for 766667f

• test: mutant 3

  QGarchery

  committed
  744d0ff

  Copy full SHA for 744d0ff

• test: mutant 6

  QGarchery

  committed
  e445aaf

  Copy full SHA for e445aaf

• test: mutant 10

  QGarchery

  committed
  9eba54d

  Copy full SHA for 9eba54d

• test: mutant 13

  QGarchery

  committed
  d21a86f

  Copy full SHA for d21a86f

Commits on Nov 23, 2023

• feat: respecting non-zero input

  QGarchery

  committed
  de3147c

  Copy full SHA for de3147c

• Revert "test: mutant 2"

  Show description for 0ef14b5
  QGarchery

  committed
  0ef14b5

  Copy full SHA for 0ef14b5

• Merge pull request #617 from morpho-org/certora/mutant-2

  Show description for 57a648a
  QGarchery

  authored
  57a648a

  Copy full SHA for 57a648a

• feat: test liquidity in liveness

  QGarchery

  committed
  957d61c

  Copy full SHA for 957d61c

• refactor: improving mutant to get significant result

  QGarchery

  committed
  04f0c4b

  Copy full SHA for 04f0c4b

• feat: accrue interest input validation

  QGarchery

  committed
  c4306f1

  Copy full SHA for c4306f1

• revert: test mutant 13

  QGarchery

  committed
  c25947a

  Copy full SHA for c25947a

• feat: improving coverage of liquidity check in repay liveness

  QGarchery

  committed
  7d1a1c2

  Copy full SHA for 7d1a1c2

• Merge pull request #606 from morpho-org/certora/mutant-13

  Show description for 0abb423
  QGarchery

  authored
  0abb423

  Copy full SHA for 0abb423

• revert: mutant 6

  QGarchery

  committed
  bb6d9bb

  Copy full SHA for bb6d9bb

• Merge pull request #613 from morpho-org/certora/mutant-6

  Show description for 4b5116a
  QGarchery

  authored
  4b5116a

  Copy full SHA for 4b5116a

• Merge remote-tracking branch 'origin/certora/gambit' into certora/mutant-10

  QGarchery

  committed
  4d1a18a

  Copy full SHA for 4d1a18a

• feat: added liveness for liquidate

  QGarchery

  committed
  3e22f7c

  Copy full SHA for 3e22f7c

• test: mutant 12

  QGarchery

  committed
  641a6f1

  Copy full SHA for 641a6f1

• feat: add setAuthorizationWithSig liveness and input validation

  QGarchery

  committed
  75025b0

  Copy full SHA for 75025b0

• fix: repaidShares input in liquidation

  QGarchery

  committed
  033670c

  Copy full SHA for 033670c

• fix: revert condition setAuthorizationWithSig

  QGarchery

  committed
  d76c9f4

  Copy full SHA for d76c9f4

• fix: liquidate liveness only in case loan and collateral are different

  QGarchery

  committed
  2aac61f

  Copy full SHA for 2aac61f

• Revert "test: mutant 10"

  Show description for 35eb09a
  QGarchery

  committed
  35eb09a

  Copy full SHA for 35eb09a

• Revert "test: mutant 12"

  Show description for f5c34bd
  QGarchery

  committed
  f5c34bd

  Copy full SHA for f5c34bd

• feat: can use shares properties

  QGarchery

  committed
  5753c9f

  Copy full SHA for 5753c9f

Commits on Nov 24, 2023

• Merge pull request #609 from morpho-org/certora/mutant-10

  Show description for 2a0028f
  QGarchery

  authored
  2a0028f

  Copy full SHA for 2a0028f

• Merge remote-tracking branch 'origin/certora/gambit' into certora/mutant-12

  QGarchery

  committed
  166ea99

  Copy full SHA for 166ea99

• Revert "test: mutant 3"

  Show description for 87d55a6
  QGarchery

  committed
  87d55a6

  Copy full SHA for 87d55a6

• Merge pull request #616 from morpho-org/certora/mutant-3

  Show description for 434df02
  QGarchery

  authored
  434df02

  Copy full SHA for 434df02

• Merge pull request #607 from morpho-org/certora/mutant-12

  Show description for 9f80ff1
  QGarchery

  authored
  9f80ff1

  Copy full SHA for 9f80ff1

• docs: update certora/README.md with mutations

  QGarchery

  committed
  dfc58ad

  Copy full SHA for dfc58ad