From 520160531f679e7c48e81398303662c419109538 Mon Sep 17 00:00:00 2001 From: karmacoma Date: Sat, 2 Aug 2025 21:08:37 -0700 Subject: [PATCH] Revert "avoid "0 bytes of initcode" at top level" This reverts commit 23aa8212fa819d678792e791def31b9285646f52. --- src/halmos/traces.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/halmos/traces.py b/src/halmos/traces.py index 71b403d1..c669c71e 100644 --- a/src/halmos/traces.py +++ b/src/halmos/traces.py @@ -186,7 +186,7 @@ def render_trace(context: CallContext, file=sys.stdout) -> None: # TODO: print in debug mode ... - initcode_str = f"<{byte_length(message.data)} bytes of initcode>" if context.depth > 1 else "constructor()" + initcode_str = f"<{byte_length(message.data)} bytes of initcode>" print( f"{indent}{call_scheme_str}{addr_str}::{initcode_str}{value_str}", file=file )