|
Ran
|
Jobs
1
|
Files
42
|
Run time
34min
|
Badge
README BADGES
|
push
github
[Certora Audit] I-02. Some comments say `keccak` instead of `keccak256` (#886) This pull request includes updates to comments in the Solidity smart contracts to clarify the usage of the `keccak256` function. The changes ensure that the comments accurately reflect the encoding process used in the contracts. Changes to comments for clarity: * [`contracts/common/SecuredTokenTransfer.sol`](diffhunk://#diff-7a34930a326e6e03771827a4181c6f567L19-R19): Updated the comment to specify that `0xa9059cbb` is the `bytes4` encoding of `keccak256("transfer(address,uint256)")`. * [`contracts/proxies/SafeProxy.sol`](diffhunk://#diff-754f853ea9e0b949eed39dde8f01ba1cdL41-R41): Updated the comment to specify that `0xa619486e` is the `bytes4` encoding of `keccak256("masterCopy()")`. Co-authored-by: Mikhail <16622558+mmv08@users.noreply.github.com>
324 of 366 branches covered (88.52%)
Branch coverage included in aggregate %.
495 of 507 relevant lines covered (97.63%)
101.17 hits per line
| ID | Job ID | Ran | Files | Coverage | |
|---|---|---|---|---|---|
| 1 | run-$ - 12693850018.1 | 0 |
93.81 |
GitHub Action Run |