formal verification

Remove documented requirement in IERC1155's `balanceOf` #3366

Sign in to view logs

Triggered via pull request January 19, 2024 01:25

opened #4847

andrew-fleming:remove-balanceof-comment

Status Success

Total duration 14s

Artifacts –

formal-verification.yml

on: pull_request