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

fdupress merged 1 commit into

EasyCrypt:mainEasyCrypt/easycrypt:mainfrom

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