Skip to content

[Civl] Refactor linear type checking #2075

[Civl] Refactor linear type checking

[Civl] Refactor linear type checking #2075

Annotations

2 warnings

Boogie CI (Release, batch_mode=False)

succeeded Nov 26, 2025 in 4m 21s