fix(phl): emit the non-negativity of the bound as a separate goal in `rnd` - #1135

Open

Yiping106283 wants to merge 1 commit into

EasyCrypt:mainfrom

Yiping106283:fix-phoare-rnd-nonneg

Commits on Sep 11, 2026

fix(phl): emit the non-negativity of the bound as a separate goal in `rnd`

Yiping Ma
and
claude
committed
22f5ad0