Skip to content

test(insurance): cover reinsurance agreements and recovery path - #1073

Merged
nanaf6203-bit merged 1 commit into
MettaChain:mainfrom
Moonwalker-rgb:fix/1026-insurance-reinsurance-tests
Aug 29, 2026
Merged

test(insurance): cover reinsurance agreements and recovery path#1073
nanaf6203-bit merged 1 commit into
MettaChain:mainfrom
Moonwalker-rgb:fix/1026-insurance-reinsurance-tests

test(insurance): cover reinsurance agreements and recovery path

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

Annotations

1 warning
Run Kani Proofs
succeeded Aug 27, 2026 in 1m 11s