Skip to main content

acceptance_coverage

forge_lint::sol::med::unsafe_oz_erc721_mint

Function acceptance_coverage 

Source 
fn acceptance_coverage<'hir>(
    gcx: Gcx<'hir>,
    hir: &'hir Hir<'hir>,
    cond: &'hir Expr<'hir>,
    recipient: VariableId,
    token: VariableId,
) -> GuardCoverage
Expand description

The condition of a require/assert that passes only if the recipient can receive the token: the recipient is proven code-less, the hook comparison succeeds, or the account short circuit to.code.length == 0 || hook == sel accepts either case.