fix(phl): reject a bound written by the prefix in the upper-bound while rule - #1131

fix(phl): reject a bound written by the prefix in the upper-bound while rule#1131

oskgo merged 1 commit into

EasyCrypt:mainEasyCrypt/easycrypt:mainfrom

Yiping106283:fix-phoare-while-prefix-boundYiping106283/easycrypt:fix-phoare-while-prefix-boundCopy head branch name to clipboard