From 6ede446b2114f09a12376a00e0c99c23478b5a8f Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Fri, 6 Dec 2024 17:08:09 -0800
Subject: [PATCH] chore: rename warnings.py => logs.py

---
 src/halmos/__main__.py              | 2 +-
 src/halmos/bytevec.py               | 2 +-
 src/halmos/calldata.py              | 2 +-
 src/halmos/cheatcodes.py            | 2 +-
 src/halmos/config.py                | 2 +-
 src/halmos/console.py               | 2 +-
 src/halmos/{warnings.py => logs.py} | 0
 src/halmos/sevm.py                  | 2 +-
 src/halmos/utils.py                 | 2 +-
 9 files changed, 8 insertions(+), 8 deletions(-)
 rename src/halmos/{warnings.py => logs.py} (100%)

diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
index 61007f1b..efd56cd2 100644
--- a/src/halmos/__main__.py
+++ b/src/halmos/__main__.py
@@ -86,7 +86,7 @@
     unbox_int,
     yellow,
 )
-from .warnings import (
+from .logs import (
     COUNTEREXAMPLE_INVALID,
     COUNTEREXAMPLE_UNKNOWN,
     INTERNAL_ERROR,
diff --git a/src/halmos/bytevec.py b/src/halmos/bytevec.py
index 711764fc..5e5da291 100644
--- a/src/halmos/bytevec.py
+++ b/src/halmos/bytevec.py
@@ -17,7 +17,7 @@
     try_bv_value_to_bytes,
     unbox_int,
 )
-from .warnings import warn
+from .logs import warn
 
 UnwrappedBytes = bytes | Byte
 WrappedBytes = ForwardRef("Chunk") | ForwardRef("ByteVec")
diff --git a/src/halmos/calldata.py b/src/halmos/calldata.py
index 5433d96f..ce768a41 100644
--- a/src/halmos/calldata.py
+++ b/src/halmos/calldata.py
@@ -13,7 +13,7 @@
 from .bytevec import ByteVec
 from .config import Config as HalmosConfig
 from .utils import con, uid
-from .warnings import debug_once
+from .logs import debug_once
 
 
 @dataclass(frozen=True)
diff --git a/src/halmos/cheatcodes.py b/src/halmos/cheatcodes.py
index 809b214d..60d39954 100644
--- a/src/halmos/cheatcodes.py
+++ b/src/halmos/cheatcodes.py
@@ -59,7 +59,7 @@
     uint160,
     uint256,
 )
-from .warnings import debug
+from .logs import debug
 
 # f_vmaddr(key) -> address
 f_vmaddr = Function("f_vmaddr", BitVecSort256, BitVecSort160)
diff --git a/src/halmos/config.py b/src/halmos/config.py
index 4de4cd1f..fd88090e 100644
--- a/src/halmos/config.py
+++ b/src/halmos/config.py
@@ -10,7 +10,7 @@
 
 import toml
 
-from .warnings import warn
+from .logs import warn
 
 # common strings
 internal = "internal"
diff --git a/src/halmos/console.py b/src/halmos/console.py
index a5c160a3..5fcf5262 100644
--- a/src/halmos/console.py
+++ b/src/halmos/console.py
@@ -15,7 +15,7 @@
     render_int,
     render_uint,
 )
-from .warnings import (
+from .logs import (
     info,
     warn,
 )
diff --git a/src/halmos/warnings.py b/src/halmos/logs.py
similarity index 100%
rename from src/halmos/warnings.py
rename to src/halmos/logs.py
diff --git a/src/halmos/sevm.py b/src/halmos/sevm.py
index 9854659b..4ef35c82 100644
--- a/src/halmos/sevm.py
+++ b/src/halmos/sevm.py
@@ -125,7 +125,7 @@
     uint256,
     unbox_int,
 )
-from .warnings import (
+from .logs import (
     INTERNAL_ERROR,
     LIBRARY_PLACEHOLDER,
     debug,
diff --git a/src/halmos/utils.py b/src/halmos/utils.py
index bb82cbe3..82470547 100644
--- a/src/halmos/utils.py
+++ b/src/halmos/utils.py
@@ -38,7 +38,7 @@
 
 from .exceptions import HalmosException, NotConcreteError
 from .mapper import Mapper
-from .warnings import warn
+from .logs import warn
 
 # order of the secp256k1 curve
 secp256k1n = (