Code

Forbid view function reverts#16

Code

Open

Czar102 wants to merge 5 commits intoCertora:masterCertora/tutorials-code:masterfrom Czar102:3-submissionCzar102/tutorials-code:3-submissionCopy head branch name to clipboard

+98-2

Commits

Commits on Sep 27, 2023

• main spec updated for all known additional constraints

  Czar102

  committed
  92c5fff

Commits on Sep 28, 2023

• add winner manipulation

  Czar102

  committed
  4bcab74

• add winner manipulation spec to Borda.spec

  Czar102

  committed
  e7fee4f

• add peritoflores' spec (rephrased)

  Czar102

  committed
  45d0874

• view function revert forbidden

  Czar102

  committed
  c7d1973