Fixed get_argument_type function (#814)

runtimeverification · Sep 10, 2024 · 587f556 · 587f556
1 parent 58819e1
commit 587f556
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/kontrol/options.py b/src/kontrol/options.py
@@ -446,7 +446,8 @@ def get_argument_type() -> dict[str, Callable]:
             | EVMChainOptions.get_argument_type()
             | {
                 'match-test': list_of(parse_test_version_tuple),
-                'init-node-from': file_path,
+                'init-node-from-diff': file_path,
+                'init-node-from-dump': file_path,
                 'include-summary': list_of(parse_test_version_tuple),
             }
         )