Skip to content

CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks #9867

CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks

CONTRACTS: optimize is_fresh separation checks, add ptr predicate uniqueness checks #9867

Annotations

2 warnings

CompileXen

succeeded Jan 22, 2025 in 11m 55s