OpDiffer: LLM-Assisted Opcode-Level Differential Testing of Ethereum ...
\newmdenv[ linewidth=1pt, linecolor=black, backgroundcolor=gray!10, skipabove=10pt, skipbelow=10pt, roundcorner=5pt, innertopmargin=10pt, innerbottommargin=10pt, innerleftmargin=10pt, innerrightmargin=10pt, frametitlebackgroundcolor=gray!30!