Slither Analysis

chore: setup halmos #12

Sign in to view logs

Triggered via pull request August 9, 2024 15:10

0xDiscotech

opened #20

chore/setup-halmos

Status Success

Total duration 2m 53s

Artifacts –

slither.yml

on: pull_request

slither-analyze