Formatting

Author: palinatolmach

src/kontrol/prove.py

@@ -659,12 +659,23 @@ def _method_to_cfg(
 def _update_cterm_from_node(cterm: CTerm, node: KCFG.Node, config_type: ConfigType) -> CTerm:
     if config_type == ConfigType.TEST_CONFIG:
         cell_names = [
-            'ACCOUNTS_CELL', 'NUMBER_CELL', 'TIMESTAMP_CELL', 'BASEFEE_CELL', 
-            'CHAINID_CELL', 'COINBASE_CELL', 'PREVCALLER_CELL', 'PREVORIGIN_CELL',
-            'NEWCALLER_CELL', 'NEWORIGIN_CELL', 'ACTIVE_CELL', 'DEPTH_CELL', 
-            'SINGLECALL_CELL', 'GAS_CELL', 'CALLGAS_CELL'
+            'ACCOUNTS_CELL',
+            'NUMBER_CELL',
+            'TIMESTAMP_CELL',
+            'BASEFEE_CELL',
+            'CHAINID_CELL',
+            'COINBASE_CELL',
+            'PREVCALLER_CELL',
+            'PREVORIGIN_CELL',
+            'NEWCALLER_CELL',
+            'NEWORIGIN_CELL',
+            'ACTIVE_CELL',
+            'DEPTH_CELL',
+            'SINGLECALL_CELL',
+            'GAS_CELL',
+            'CALLGAS_CELL',
         ]
-        
+
         cells = {name: node.cterm.cell(name) for name in cell_names}
         all_accounts = flatten_label('_AccountCellMap_', cells['ACCOUNTS_CELL'])
 
@@ -673,7 +684,9 @@ def _update_cterm_from_node(cterm: CTerm, node: KCFG.Node, config_type: ConfigTy
 
         new_accounts_map = {account.cell('ACCTID_CELL'): account for account in new_accounts}
 
-        cells['ACCOUNTS_CELL'] = KEVM.accounts([account.config for account in new_accounts_map.values()] + non_cell_accounts)
+        cells['ACCOUNTS_CELL'] = KEVM.accounts(
+            [account.config for account in new_accounts_map.values()] + non_cell_accounts
+        )
 
         for cell_name, cell_value in cells.items():
             cterm = CTerm(set_cell(cterm.config, cell_name, cell_value), [])