lint

a16z · Aug 13, 2024 · 2d1e1da · 2d1e1da
1 parent 552946c
commit 2d1e1da
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/tests/test_sevm.py b/tests/test_sevm.py
@@ -206,7 +206,11 @@ def byte_of(i, x):
             o(EVM.MULMOD),
             [x, y, z],
             Extract(
-                255, 0, f_mod[512](f_mul[512](ZeroExt(256, x), ZeroExt(256, y)), ZeroExt(256, z))
+                255,
+                0,
+                f_mod[512](
+                    f_mul[512](ZeroExt(256, x), ZeroExt(256, y)), ZeroExt(256, z)
+                ),
             ),
         ),
         (o(EVM.MULMOD), [con(10), con(10), con(8)], con(4)),