Slither Analysis

feat(MSFDG): add getStepData2 and findAncestorWithTraceIndex2 for preimages required in contact #208

Sign in to view logs

Triggered via pull request November 9, 2024 08:17

dajuguan

synchronize #88

po/oracle_proof

Status Success

Total duration 2m 44s

Artifacts –

slither.yml

on: pull_request

slither-analyze