Skip to content

Remove warn_and_top_on_zero from BaseInvariant for division by zero #14145

Remove warn_and_top_on_zero from BaseInvariant for division by zero

Remove warn_and_top_on_zero from BaseInvariant for division by zero #14145

Triggered via pull request May 5, 2026 07:29
Status Success
Total duration 53s
Artifacts

semgrep.yml

on: pull_request
Fit to window
Zoom out
Zoom in