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 (Debug, batch_mode=False)

succeeded Nov 17, 2024 in 4m 55s