Fill W1_zero_eq sorry in X_exp_equiv#40

eliasjudin wants to merge 1 commit intoruntimeverification:masterruntimeverification/evm-equivalence:masterfrom

eliasjudin:fill-W1-zero-eqeliasjudin/evm-equivalence:fill-W1-zero-eqCopy head branch name to clipboard