quality

Author: jberthold

deps/stable-mir-json

@@ -149,30 +149,32 @@ def test_schema_kapply_parse(
 
     assert parser.parse_mir_json(json_data, expected_sort.name) == (expected_term, expected_sort)
 
-EXEC_DATA_DIR = (Path(__file__).parent / 'data' / 'exec-smir').resolve(strict = True)
+
+EXEC_DATA_DIR = (Path(__file__).parent / 'data' / 'exec-smir').resolve(strict=True)
 EXEC_DATA = [
     (
-        "main-a-b-c",
+        'main-a-b-c',
         EXEC_DATA_DIR / 'main-a-b-c' / 'main-a-b-c.smir.json',
         EXEC_DATA_DIR / 'main-a-b-c' / 'main-a-b-c.run.state',
         None,
     ),
     (
-        "main-a-b-c --depth 15",
+        'main-a-b-c --depth 15',
         EXEC_DATA_DIR / 'main-a-b-c' / 'main-a-b-c.smir.json',
         EXEC_DATA_DIR / 'main-a-b-c' / 'main-a-b-c.15.state',
         15,
     ),
 ]
 
+
 @pytest.mark.parametrize(
     'test_case',
     EXEC_DATA,
-    ids=[ name for (name, _, _, _) in EXEC_DATA ],
+    ids=[name for (name, _, _, _) in EXEC_DATA],
 )
 def test_exec_smir(
-        test_case: tuple(str, Path, Path, int),
-        tools: Tools,
+    test_case: tuple[str, Path, Path, int],
+    tools: Tools,
 ) -> None:
 
     (_, input_json, output_kast, depth) = test_case
@@ -181,7 +183,9 @@ def test_exec_smir(
 
     with input_json.open('r') as f:
         json_data = json.load(f)
-    kmir_kast, _ = parser.parse_mir_json(json_data, 'Pgm')
+    parsed = parser.parse_mir_json(json_data, 'Pgm')
+    assert parsed is not None
+    kmir_kast, _ = parsed
 
     subst = Subst({'$PGM': kmir_kast})
     init_config = subst.apply(tools.definition.init_config(KSort('GeneratedTopCell')))