Skip to content
CI

test: halmos stress test #43

Sign in to view logs

test: halmos stress test

test: halmos stress test #43

Triggered via push July 5, 2024 12:36
@wei3erHasewei3erHase
pushed f3d41a9
test/tree
Status Success
Total duration 1m 58s
Artifacts –

tests.yml

on: push
Run Unit Tests
16s
Run Unit Tests
Run Integration Tests
15s
Run Integration Tests
Echidna Test
1m 30s
Echidna Test
Run symbolic execution tests
15s
Run symbolic execution tests
Lint Commit Messages
28s
Lint Commit Messages
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
Lint Commit Messages: test/invariants/symbolic/Greeter.t.sol#L7
Line length must be no more than 120 but current length is 126
Lint Commit Messages: src/interfaces/IGreeter.sol#L44
Function name must be in mixedCase
Lint Commit Messages: src/interfaces/IGreeter.sol#L66
Function order is incorrect, external function can not go after external view function (line 56)