Skip to content

test(grey-state): add proptests for transition validation and judgments#830

Open
wangzishuai1987 wants to merge 1 commit into
jarchain:masterfrom
wangzishuai1987:test/transition-proptest
Open

test(grey-state): add proptests for transition validation and judgments#830
wangzishuai1987 wants to merge 1 commit into
jarchain:masterfrom
wangzishuai1987:test/transition-proptest

test(grey-state): add proptests for transition validation and judgments

0498c0c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
select-targets
succeeded May 2, 2026 in 1m 11s