Skip to content

Formal verification for policy module: 2 bugs fixed, 44 Z3 proofs, 100% MC/DC #14886

Formal verification for policy module: 2 bugs fixed, 44 Z3 proofs, 100% MC/DC

Formal verification for policy module: 2 bugs fixed, 44 Z3 proofs, 100% MC/DC #14886

Annotations

11 errors and 3 warnings

Analyze (go)

succeeded Apr 20, 2026 in 15m 58s