Skip to content

test(auth-eth): add Halmos symbolic tests for app and root epochs - #1537

Merged
kvinwang merged 5 commits into
feat/kms-epochs-combinedfrom
test/halmos-app-epoch
Nov 9, 2026
Merged

test(auth-eth): add Halmos symbolic tests for app and root epochs#1537
kvinwang merged 5 commits into
feat/kms-epochs-combinedfrom
test/halmos-app-epoch

test(auth-eth): check that legacy entry points refuse once rotated

297a1e2
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar