From 93fe6213560eacef96eb13a891635349bfcaa2d6 Mon Sep 17 00:00:00 2001
From: Daejun Park <daejunpark@gmail.com>
Date: Tue, 8 Aug 2023 14:16:51 -0700
Subject: [PATCH] fix lint

---
 src/halmos/__main__.py | 4 ++--
 tests/test_halmos.py   | 4 +---
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/src/halmos/__main__.py b/src/halmos/__main__.py
index b08c5338..7a95b58b 100644
--- a/src/halmos/__main__.py
+++ b/src/halmos/__main__.py
@@ -184,7 +184,7 @@ def deploy_test(
     deployed_hexcode: str,
     sevm: SEVM,
     args: Namespace,
-    libs: Dict = {}
+    libs: Dict = {},
 ) -> Exec:
     this = mk_this()
 
@@ -250,7 +250,7 @@ def setup(
     abi: List,
     setup_info: FunctionInfo,
     args: Namespace,
-    libs: Dict = {}
+    libs: Dict = {},
 ) -> Exec:
     setup_start = timer()
 
diff --git a/tests/test_halmos.py b/tests/test_halmos.py
index 24e79499..5c344eaa 100644
--- a/tests/test_halmos.py
+++ b/tests/test_halmos.py
@@ -49,9 +49,7 @@ def test_main(cmd, expected_path, halmos_options):
     [
         ["--root", "tests", "--contract", "SetupFailTest"],
     ],
-    ids=(
-        "SetupFailTest",
-    ),
+    ids=("SetupFailTest"),
 )
 def test_main_fail(cmd, halmos_options):
     actual = asdict(_main(cmd + halmos_options.split()))