fix lint

a16z · Aug 8, 2023 · 93fe621 · 93fe621
1 parent e765930
commit 93fe621
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git 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
@@ -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()))