add: warn on duplicate register constraint (#82)

Author: toolCHAINZ

crackers_python/crackers/config/constraint.py

@@ -189,10 +189,17 @@ def serialize_state_constraints(value, _info):
                 "size": mem.size,
                 "value": mem.value,
             }
+        register_valuations = [v for v in filtered if isinstance(v, RegisterValuation)]
+        if register_valuations:
+            keys = [reg.name for reg in register_valuations]
+            if len(keys) > len(set(keys)):
+                import warnings
+
+                warnings.warn(
+                    "Multiple register valuation constraints found for a single register; only the last will be serialized."
+                )
         transformed = {
-            "register": {
-                v.name: v.value for v in filtered if isinstance(v, RegisterValuation)
-            },
+            "register": {v.name: v.value for v in register_valuations},
             "memory": memory_dict,
             "pointer": {
                 v.reg: v.value

crackers_python/crackers/config/crackers.py

@@ -1,6 +1,9 @@
 from pydantic import BaseModel
-from crackers.config.constraint import ConstraintConfig, CustomStateConstraint, \
-    CustomTransitionConstraint
+from crackers.config.constraint import (
+    ConstraintConfig,
+    CustomStateConstraint,
+    CustomTransitionConstraint,
+)
 from crackers.config.library import LibraryConfig
 from crackers.config.meta import MetaConfig
 from crackers.config.sleigh import SleighConfig