Skip to content
CI

feat: add certora specs and audit #101

Sign in to view logs

feat: add certora specs and audit

feat: add certora specs and audit #101

Triggered via pull request November 21, 2023 15:44
@0x-r4bbit0x-r4bbit
synchronize #43
gad-minime-spec
Status Success
Total duration 1m 4s
Artifacts –

ci.yml

on: pull_request
lint
20s
lint
build
24s
build
test
21s
test
coverage
19s
coverage
Fit to window
Zoom out
Zoom in

Annotations

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