certora: fix RoundTrip.conf verify path after rename

e4203ef

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

Aikido PR Checks

Aikido Security: check code

forge-old on: pull_request

compare-bytecode

Certora on: pull_request 38

matrix

verify (AbdicatedFunctions)

verify (AccrueInterestReverts)

verify (AllocateDeallocateInputValidation)

verify (AllocateDeallocateReverts)

verify (AllocationMorphoMarketV1AdapterV2)

verify (AllocationMorphoVaultV1Adapter)

verify (AllocationVaultV2)

verify (AllocationsHierarchy)

verify (ChangesMorphoMarketV1AdapterV2)

verify (ChangesMorphoVaultV1Adapter)

verify (EarliestTime)

verify (EntrypointEquivalence)

verify (ExchangeRate)

verify (Gates)

verify (IdsMorphoMarketV1AdapterV2)

verify (IdsMorphoVaultV1Adapter)

verify (Immutability)

verify (Invariants)

verify (Liveness)

verify (MarketIds)

verify (OwnerSafety)

verify (PreviewFunctions)

verify (Reentrancy)

verify (ReentrancyView)

verify (RelativeCaps)

verify (RemoveMarketLiveness)

verify (Reverts)

verify (RoundTrip)

verify (SentinelLiveness)

verify (SentinelLivenessDeallocateMarketV1)

verify (SentinelLivenessDeallocateVaultV1)

verify (SkimMorphoMarketV1AdapterV2)

verify (SkimMorphoVaultV1Adapter)

verify (TokensMorphoMarketV1AdapterV2)

verify (TokensMorphoVaultV1Adapter)

verify (TokensNoAdapter)

verify (TotalAssetsChange)

verify (TotalAssetsIsUpToDate)

Foundry on: pull_request

fmt

lint

sizes

test (0 decimals, isolate: true)

test (0 decimals, isolate: false)

test (6 decimals, isolate: true)

test (6 decimals, isolate: false)

test (8 decimals, isolate: true)

test (8 decimals, isolate: false)

test (18 decimals, isolate: true)

test (18 decimals, isolate: false)

test (24 decimals, isolate: true)

test (24 decimals, isolate: false)

Select a check to view from the sidebar