Skip to content
This repository was archived by the owner on Oct 20, 2026. It is now read-only.

Use new support for invariants - #428

Open
jcp19 wants to merge 9 commits into
masterfrom
claude/gobra-syntax-update-pr412-fhghc8
Open

Use new support for invariants#428
jcp19 wants to merge 9 commits into
masterfrom
claude/gobra-syntax-update-pr412-fhghc8

Address review: trim comment and group the IO clauses of ReadBatch

1536d60
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar