Skip to content

Make assert! and cover! expand to blocks so they work in expression position - #4897

Closed
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:assert-cover-block-expansion
Closed

Make assert! and cover! expand to blocks so they work in expression position#4897
tautschnig wants to merge 1 commit into
model-checking:mainfrom
tautschnig:assert-cover-block-expansion

Make assert! and cover! expand to blocks so they work in expression p…

2623f38
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
Auto Label
succeeded Sep 28, 2026 in 10s