Update dependency: deps/kmir_release

deps/kmir_release

@@ -1 +1 @@
-0.4.215
+0.4.216

package/version

@@ -1 +1 @@
-0.1.19
+0.1.20

pyproject.toml

@@ -4,19 +4,19 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kompass"
-version = "0.1.19"
+version = "0.1.20"
 description = "K Semantics for the Solana ecosystem"
 requires-python = "~=3.10"
 dependencies = [
-    "kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.215#subdirectory=kmir",
+    "kmir@git+https://github.com/runtimeverification/mir-semantics.git@v0.4.216#subdirectory=kmir",
 ]
 
 [[project.authors]]
 name = "Runtime Verification, Inc."
 email = "contact@runtimeverification.com"
 
 [tool.uv.sources]
-kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.215", subdirectory = "kmir" }
+kmir = { git = "https://github.com/runtimeverification/mir-semantics.git", rev = "v0.4.216", subdirectory = "kmir" }
 
 [project.scripts]
 kompass = "kompass.__main__:main"

src/kompass/__main__.py

@@ -7,7 +7,7 @@
 
 from kmir.__main__ import _arg_parser as kmir_arg_parser
 from kmir.__main__ import _parse_args as kmir_parse_args
-from kmir.cargo import CargoProject
+from kmir.cargo import CargoProject, cargo_get_smir_json
 from kmir.options import KMirOpts
 from kmir.options import ProveOpts as KMirProveOpts
 from kmir.options import PruneOpts, RunOpts
@@ -36,11 +36,13 @@
 def _kompass_run(opts: RunOpts) -> None:
     kompass = Kompass(HASKELL_DEF_DIR) if opts.symbolic else Kompass(LLVM_DEF_DIR)
 
-    if opts.file:
-        smir_info = SMIRInfo.from_file(Path(opts.file))
-    else:
-        cargo = CargoProject(Path.cwd())
+    if opts.smir:
+        smir_info = SMIRInfo.from_file(opts.rs_file)
+    elif opts.bin:
+        cargo = CargoProject(opts.rs_file)
         smir_info = cargo.smir_for_project(clean=False)
+    else:
+        smir_info = SMIRInfo(cargo_get_smir_json(opts.rs_file, save_smir=opts.save_smir))
 
     result = kompass.run_smir(smir_info, start_symbol=opts.start_symbol, depth=opts.depth)
     print(kompass.kore_to_pretty(result))