Code

Winner manipulation spec#12

Code

Open

Czar102 wants to merge 7 commits intoCertora:masterCertora/tutorials-code:masterfrom Czar102:masterCzar102/tutorials-code:masterCopy head branch name to clipboard

+128-7

Commits

Commits on Sep 27, 2023

• main spec updated for all known additional constraints

  Czar102

  committed
  92c5fff

  Copy full SHA for 92c5fff

Commits on Sep 28, 2023

• add winner manipulation

  Czar102

  committed
  4bcab74

  Copy full SHA for 4bcab74

• add winner manipulation spec to Borda.spec

  Czar102

  committed
  e7fee4f

  Copy full SHA for e7fee4f

• add peritoflores' spec (rephrased)

  Czar102

  committed
  45d0874

  Copy full SHA for 45d0874

• add spec for view functions revert prevention

  Czar102

  committed
  b55652f

  Copy full SHA for b55652f

• add constructor ghost corruption spec

  Czar102

  committed
  269a4b6

  Copy full SHA for 269a4b6

• constructor state change spec

  Czar102

  committed
  fea3772

  Copy full SHA for fea3772