Skip to content

[#554] Add stateful invariant coverage for commitment flows - #556

Merged
1nonlypiece merged 2 commits into
Commitlabs-Org:masterfrom
safal207:test/554-core-commitment-invariants
Aug 27, 2026
Merged

1nonlypiece merged 2 commits into
Commitlabs-Org:masterfrom
safal207:test/554-core-commitment-invariants

test: harden commitment lifecycle invariant model

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

Annotations

2 errors and 1 warning
Build and Test Soroban Contracts
failed Aug 26, 2026 in 35s