Fix assert! and cover! expansions in expression contexts - #4875

Merged

feliperodri merged 5 commits into

model-checking:mainfrom

trevordcampbell:fix-assert-expression-contexts

Sep 29, 2026

Commits on Sep 26, 2026

Fix no-message assert expansion in expression contexts
trevordcampbell
committed
fc25a4a

Commits on Sep 28, 2026

Fix cover macro expression expansions and document assertion block
trevordcampbell
committed
cb23c20
Merge branch 'main' into fix-assert-expression-contexts
trevordcampbell
authored
d6175fb
Merge upstream main into fix-assert-expression-contexts
trevordcampbell
authored
33649c3

Commits on Sep 29, 2026

Merge branch 'main' into fix-assert-expression-contexts
tautschnig
authored
e3f659f