search

crytic / building-secure-contracts

Guidelines and training material to write secure smart contracts
https://secure-contracts.com/
GNU Affero General Public License v3.0
2.2k stars 343 forks source link

Echidna Exercise 3 #296

Closed YanhuiJessica closed 1 year ago

YanhuiJessica commented 1 year ago

program-analysis/echidna/exercises/exercise3/token.sol#L4

/// @notice The issues from exercise 1 and 2 are fixed.

Since commit 5c156b9 changed the solidity version from ^0.8.0 to ^0.5.0, the issue from exercise 1 becomes unsolved.

ggrieco-tob commented 1 year ago

This is a good catch, we will fix them soon.

montyly commented 1 year ago

Great catch @YanhuiJessica, thanks.

We moved back to 0.8 (https://github.com/crytic/building-secure-contracts/pull/308), which fixed this issue ;)