Search results

Constructor doesn't change state

Status: Open.

#23 In Certora/tutorials-code;

· Czar102 opened on Sep 28, 2023

Constructor ghost corruption

Status: Open.

#21 In Certora/tutorials-code;

· Czar102 opened on Sep 28, 2023

Missing spec

Status: Open.

#19 In Certora/tutorials-code;

· zapaz opened on Sep 28, 2023

Forbid view function reverts

Acknowledgedvalid solution - eligible for rewardvalid solution - eligible for reward

Status: Open.

#17 In Certora/tutorials-code;

· Czar102 opened on Sep 28, 2023

Solution to Borda

Acknowledgedvalid solution - eligible for rewardvalid solution - eligible for reward

Status: Open.

#14 In Certora/tutorials-code;

· peritoflores opened on Sep 28, 2023

Winner manipulation spec

Acknowledgedvalid solution - eligible for rewardvalid solution - eligible for reward

Status: Open.

#13 In Certora/tutorials-code;

· Czar102 opened on Sep 28, 2023

Missing Spec for BordaNewBug

Status: Open.

#11 In Certora/tutorials-code;

· D4r3-D3v1L opened on Sep 27, 2023

Bug Coverage

Status: Open.

#10 In Certora/tutorials-code;

· 1nc0gn170 opened on Sep 27, 2023

Missing Spec Challenge

Acknowledgedvalid solution - eligible for rewardvalid solution - eligible for reward

Status: Open.

#7 In Certora/tutorials-code;

· imsrybr0 opened on Sep 27, 2023

Solution for the prover challenge

Acknowledgedvalid solution - eligible for rewardvalid solution - eligible for reward

Status: Open.

#5 In Certora/tutorials-code;

· Czar102 opened on Sep 27, 2023