add from_option_string to RPCOptions

runtimeverification · Dec 18, 2024 · 7b3ba7c · 7b3ba7c
1 parent cd6e77b
commit 7b3ba7c
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