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

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

Yiping106283 wants to merge 1 commit into

EasyCrypt:negative-phoare-falseEasyCrypt/easycrypt:negative-phoare-falsefrom

Yiping106283:fix-phoare-rnd-nonnegYiping106283/easycrypt:fix-phoare-rnd-nonnegCopy head branch name to clipboard