Skip to content

fix: reject zero scale factor#118

Closed
prd-carapulse[bot] wants to merge 3 commits into
mainfrom
hermes/certora-scale-factor-nonzero
Closed

fix: reject zero scale factor#118
prd-carapulse[bot] wants to merge 3 commits into
mainfrom
hermes/certora-scale-factor-nonzero

fix: prove scale factor helper result is nonzero

a8eb1ae
Select commit
Loading
Failed to load commit list.
Aikido PR Checks / Aikido Security: check code succeeded Jun 15, 2026 in 23s

Scan completed

✅ Aikido Security check OK. No new issues were introduced. No issues were solved. View details
Scan results for commit: a8eb1ae