✅ All reviewers have approved.

Originally posted by @eth-bot in ethereum/EIPs#6818 (comment)

https://github.com/420illcutta420/h4x0r/actions/runs/4592011042/jobs/8108679119

Good

Originally posted by @n012judge420 in OpenZeppelin/openzeppelin-contracts#4134 (comment)

• [Hello World!!!]

Originally posted by @n012judge420 in https://github.com/ethereum/EIPs/issues/6814#issuecomment-1493102192

• check correctness of functions (for math)
• check liveness (whatever we throw at it, function does not revert)

Here you are showing that the function revert for offset between 238 and 255 ... but unit tests already shows that. What else do we want to prove ?

Originally posted by @Amxx in OpenZeppelin/openzeppelin-contracts#4134 (comment)

Well, fuzzing is random input generation and for the above test case, the domain space is very small indeed but also means we can cover the full range (which is not the case for e.g. a domain space of uint16). Personally, I like adding such fuzzing tests to ensure that the contracts are somehow future-proof (i.e. if I make a small change, it still checks for all possible values) and can be easily extended if needed. I might be too paranoid here, so if you think in the current state it doesn't make sense, please remove it. But in the near future, such a test might come handy since it can be easily extended.

Originally posted by @pcaversaccio in OpenZeppelin/openzeppelin-contracts#4134 (comment)

✅ All reviewers have approved.

Originally posted by @eth-bot in ethereum/EIPs#3455 (comment)

https://github.com/rkalis/truffle-plugin-verify/blob/master/docs/kalis-me-tutorial-code/truffle-config.js#L1-L17