Skip to content

Convert TypecheckingContext.CheckModifies to a property #1911

Convert TypecheckingContext.CheckModifies to a property

Convert TypecheckingContext.CheckModifies to a property #1911

Annotations

4 warnings

Boogie CI (Release, batch_mode=False)

succeeded Nov 17, 2024 in 5m 47s