Skip to content
CI

test(medusa): assert prop-7 #380

Sign in to view logs

test(medusa): assert prop-7

test(medusa): assert prop-7 #380

Triggered via push November 29, 2024 05:51
@0xJabberwock0xJabberwock
pushed 1d45342
test/handler-cov
Status Success
Total duration 1m 23s
Artifacts –

tests.yml

on: push
Run Unit Tests
1m 14s
Run Unit Tests
Run Integration Tests
51s
Run Integration Tests
Echidna Test
45s
Echidna Test
Run symbolic execution tests
54s
Run symbolic execution tests
Lint Commit Messages
23s
Lint Commit Messages
Fit to window
Zoom out
Zoom in

Annotations

10 warnings
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L7
Explicitly mark visibility of state
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L8
Explicitly mark visibility of state
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L108
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L159
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L213
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L308
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L353
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L407
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L460
Variable "_responseCreatedAt" is unused
Lint Commit Messages: test/integration/arbitrum/FinalizeRequest.t.sol#L573
Variable "_responseCreatedAt" is unused