fix(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles - #1143

fix(sim): eqobs_in must not assume an abstract call preserves glob A for distinct oracles#1143

namasikanam wants to merge 1 commit into

mainEasyCrypt/easycrypt:mainfrom

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