Skip to content

CONTRACTS: allow is_fresh to fail in assume contexts #10804

CONTRACTS: allow is_fresh to fail in assume contexts

CONTRACTS: allow is_fresh to fail in assume contexts #10804