Merge remote-tracking branch 'origin/master' into release

runtimeverification · Dec 18, 2024 · 4512d3b · 4512d3b
2 parents 4027952 + 40459b1
commit 4512d3b
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/src/kontrol/options.py b/src/kontrol/options.py
@@ -74,6 +74,12 @@ def default() -> dict[str, Any]:
             'port': None,
         }
 
+    @staticmethod
+    def from_option_string() -> dict[str, str]:
+        return {
+            'log-rewrites': 'log_succ_rewrites',
+        }
+
 
 class TraceOptions(Options):
     active_tracing: bool