Skip to content

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

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

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

Annotations

1 warning

upgrade-deb (arm64, ubuntu:bionic)

succeeded Apr 20, 2026 in 19m 9s