Formal verification for LibUbiquityPool#970

Closed

alexandr-masl wants to merge 4 commits intoubiquity:developmentfrom alexandr-masl:formal-verification

+970-14

Commits on Oct 2, 2024

test: add formal test directory and initial test
alexandr-masl
committed

Commits on Oct 7, 2024

test: pool facet tests by smt
alexandr-masl
committed

Commits on Oct 20, 2024