Skip to content

test: consolidate named tests into the property suites - #287

Merged
magnusp merged 1 commit into
mainfrom
test/consolidate-property-covered-tests
Oct 31, 2026
Merged

test: consolidate named tests into the property suites#287
magnusp merged 1 commit into
mainfrom
test/consolidate-property-covered-tests

test: drop named tests the property suites now cover

425d53b
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar