Add correct rule labels for create and create2 when --break-on-calls is used.#2788

anvacaru merged 1 commit into

masterruntimeverification/evm-semantics:masterfrom

fix_break_on_callsruntimeverification/evm-semantics:fix_break_on_callsCopy head branch name to clipboard