chore: update dependencies and fix formatting

Author: koehlma

momba/engine/__main__.py

@@ -4,8 +4,6 @@
 
 from __future__ import annotations
 
-import typing as t
-
 import pathlib
 
 import click
@@ -15,9 +13,6 @@
 from . import objectives
 
 
-import json
-
-
 @click.group()
 def main() -> None:
     """
@@ -39,7 +34,7 @@ def parse_constants(cmd_input: str) -> dict:
     And for all i Val_i in (Int, Bool)
     """
     data = {}
-    for l in cmd_input.split(","):
+    for l in cmd_input.split(","):  # noqa: E741
         idx = l.split("=")[0].strip()
         if l.split("=")[1].isnumeric():
             data[idx] = int(l.split("=")[1])
@@ -84,7 +79,7 @@ def translate(model_path: str, output_path: str, consts=None) -> None:
     translation = translator.translate_network(network, parameters=parameters)
     properties = network.ctx.properties
 
-    for i, (name, definition) in enumerate(properties.items()):
+    for name, definition in properties.items():
         txt = name.lower().replace(" ", "_").strip()
         print(f"Saving property: {txt}")
 

momba/engine/objectives.py

@@ -2,12 +2,11 @@
 
 
 import dataclasses as d
-import typing as t
 
 from momba.model.operators import MinMax
 
 
-from .. import engine, model
+from .. import model
 
 
 @d.dataclass(frozen=True)
@@ -92,7 +91,6 @@ def extract_objective(prop: model.Expression) -> Objective:
         of expression with probabilities.
         """
         subprop_l = prop.left
-        subprop_r = prop.right
 
         if isinstance(subprop_l.formula, model.properties.BinaryPathFormula):
             assert (

momba/jani/load_model.py

@@ -292,9 +292,11 @@ def _property(jani_property: t.Any) -> expressions.Expression:
     if jani_property["op"] in {"∀", "∃"}:
         _check_fields(jani_property, required={"op", "exp"})
         return properties.PathQuantifier(
-            operators.Quantifier.FORALL
-            if jani_property["op"] == "∀"
-            else operators.Quantifier.EXISTS,
+            (
+                operators.Quantifier.FORALL
+                if jani_property["op"] == "∀"
+                else operators.Quantifier.EXISTS
+            ),
             _expression(jani_property["exp"]),
         )
     if jani_property["op"] in {"Emin", "Emax"}:
@@ -548,9 +550,11 @@ def _location(jani_location: t.Any) -> automata.Location:
             )
             transient_values.add(assignment)
     return automata.Location(
-        name=None
-        if jani_location.get("x-momba-anonymous", False)
-        else jani_location["name"],
+        name=(
+            None
+            if jani_location.get("x-momba-anonymous", False)
+            else jani_location["name"]
+        ),
         progress_invariant=progress_invariant,
         transient_values=frozenset(transient_values),
     )
@@ -795,9 +799,9 @@ def load_model(source: JANIModel, *, ignore_properties: bool = False) -> model.N
         automaton = network.ctx.get_automaton_by_name(element["automaton"])
         input_enable = element.get("input-enable", None)
         instance = automaton.create_instance(
-            input_enable=frozenset()
-            if input_enable is None
-            else frozenset(input_enable)
+            input_enable=(
+                frozenset() if input_enable is None else frozenset(input_enable)
+            )
         )
         network.add_instance(instance)
         instances.append(instance)

momba/tools/modest.py

@@ -182,9 +182,9 @@ def check(
                 named_properties.update(properties)
             if property_names is not None:
                 for name in property_names:
-                    named_properties[
-                        name
-                    ] = network.ctx.get_property_definition_by_name(name).expression
+                    named_properties[name] = (
+                        network.ctx.get_property_definition_by_name(name).expression
+                    )
             input_file.write_text(
                 dump_model(network, properties=named_properties), encoding="utf-8"
             )

momba/tools/storm.py

@@ -108,9 +108,9 @@ def check(
                 )
             if property_names is not None:
                 for name in property_names:
-                    named_properties[
-                        name
-                    ] = network.ctx.get_property_definition_by_name(name).expression
+                    named_properties[name] = (
+                        network.ctx.get_property_definition_by_name(name).expression
+                    )
             input_file.write_text(
                 dump_model(network, properties=named_properties), encoding="utf-8"
             )

momba/tools/storm_docker.py

@@ -101,9 +101,9 @@ def check(
                 named_properties.update(properties)
             if property_names is not None:
                 for name in property_names:
-                    named_properties[
-                        name
-                    ] = network.ctx.get_property_definition_by_name(name).expression
+                    named_properties[name] = (
+                        network.ctx.get_property_definition_by_name(name).expression
+                    )
             input_file.write_text(
                 jani.dump_model(network, properties=named_properties), encoding="utf-8"
             )