Skip to content

test(property): exercise resource rename via OpApply (RFC-0041) - #505

Closed
naxty wants to merge 3 commits into
mainfrom
feat/rfc-0041-property-tests-rename-v2
Closed

test(property): exercise resource rename via OpApply (RFC-0041)#505
naxty wants to merge 3 commits into
mainfrom
feat/rfc-0041-property-tests-rename-v2

test(property): enable rename in FullChaos via identity-only invariants

caf269c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar