fix(equiv): equivF_abs must check the glob-A oracle footprint on both oracles - #1099

fix(equiv): equivF_abs must check the glob-A oracle footprint on both oracles#1099

namasikanam merged 1 commit into

mainEasyCrypt/easycrypt:mainfrom

fix/equivf-abs-oracle-globEasyCrypt/easycrypt:fix/equivf-abs-oracle-globCopy head branch name to clipboard