feat: add certora specs and audit #99
0x-r4bbitAnnotations
9 warnings
|
lint:
test/MiniMeToken.t.sol#L164
Variable name must be in mixedCase
|
|
lint:
test/MiniMeToken.t.sol#L569
Error message for require is too long
|
|
lint:
test/MiniMeToken.t.sol#L604
Error message for revert is too long
|
|
lint:
test/MiniMeToken.t.sol#L613
Avoid to use inline assembly. It is acceptable only in rare cases
|
|
lint:
test/MiniMeToken.t.sol#L626
Provide an error message for require
|
|
lint:
test/MiniMeToken.t.sol#L630
Avoid to use inline assembly. It is acceptable only in rare cases
|
|
lint:
test/MiniMeToken.t.sol#L1161
Import statements must be on top
|
|
lint:
test/MiniMeToken.t.sol#L1381
Variable name must be in mixedCase
|
|
lint:
test/MiniMeToken.t.sol#L1383
Variable name must be in mixedCase
|