Skip to content
CI

test(medusa): rewrite prop-1 to assert #344

Sign in to view logs

test(medusa): rewrite prop-1 to assert

test(medusa): rewrite prop-1 to assert #344

Triggered via push November 25, 2024 16:20
@0xJabberwock0xJabberwock
pushed 1c33374
test/property-ebo-request-creator
Status Success
Total duration 1m 27s
Artifacts –

tests.yml

on: push
Run Unit Tests
1m 14s
Run Unit Tests
Run Integration Tests
48s
Run Integration Tests
Echidna Test
44s
Echidna Test
Run symbolic execution tests
44s
Run symbolic execution tests
Lint Commit Messages
26s
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