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