Skip to content
Back to pull request #7932

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

Sign in to view logs

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 #1725

Annotations

1 error

s1_scanner  /  s1-shift-left-cli

s1_scanner / s1-shift-left-cli
failed Apr 20, 2026 in 1m 34s