From ef38d75542f763ddc4025e6482fd80fbda30ec25 Mon Sep 17 00:00:00 2001 From: Daejun Park Date: Mon, 4 Aug 2025 17:14:14 -0700 Subject: [PATCH] fix: shorten bytecode output in unknown deployed bytecode warning --- src/halmos/sevm.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py index e4f2d7f1..3d2ead17 100644 --- a/src/halmos/sevm.py +++ b/src/halmos/sevm.py @@ -1703,7 +1703,9 @@ def try_resolve_contract_info( contract_name, filename, source_map = self._try_resolve_proxy_info(contract) if contract_name is None: - warn(f"unknown deployed bytecode: {hexify(bytecode.unwrap())}") + warn( + f"unknown deployed bytecode: {hexify(bytecode[:32].unwrap())}... ({byte_length(bytecode)} bytes total)" + ) contract.contract_name = contract_name contract.filename = filename