feat: add certora specs and audit #95
Annotations
9 warnings
|
Lint the contracts:
test/MiniMeToken.t.sol#L164
Variable name must be in mixedCase
|
|
Lint the contracts:
test/MiniMeToken.t.sol#L569
Error message for require is too long
|
|
Lint the contracts:
test/MiniMeToken.t.sol#L604
Error message for revert is too long
|
|
Lint the contracts:
test/MiniMeToken.t.sol#L613
Avoid to use inline assembly. It is acceptable only in rare cases
|
|
Lint the contracts:
test/MiniMeToken.t.sol#L626
Provide an error message for require
|
|
Lint the contracts:
test/MiniMeToken.t.sol#L630
Avoid to use inline assembly. It is acceptable only in rare cases
|
|
Lint the contracts:
test/MiniMeToken.t.sol#L1161
Import statements must be on top
|
|
Lint the contracts:
test/MiniMeToken.t.sol#L1381
Variable name must be in mixedCase
|
|
Lint the contracts:
test/MiniMeToken.t.sol#L1383
Variable name must be in mixedCase
|
The logs for this run have expired and are no longer available.
Loading