Code

Certora CI#49

Code

Merged

naszam merged 5 commits intomastermakerdao/dss-vest:masterfrom certora-cimakerdao/dss-vest:certora-ciCopy head branch name to clipboardMar 25, 2022

+96-15

Commits

Commits on Mar 23, 2022

• certora ci

  naszam

  committed
  e7ea146

  Copy full SHA for e7ea146

• update .gitignore

  naszam

  committed
  37b4c89

  Copy full SHA for 37b4c89

• specs: filter out fallback in invariants and add fallback_revert rule

  naszam

  committed
  68e4f90

  Copy full SHA for 68e4f90

• scripts: add --rule, --multi_assert_check and --short_output options

  naszam

  committed
  0ece447

  Copy full SHA for 0ece447

• rename certora-solc script to solc-select and update readme

  naszam

  committed
  ca535eb

  Copy full SHA for ca535eb