fix contract stem

runtimeverification · Nov 22, 2024 · 93e5f8f · 93e5f8f
1 parent accebce
commit 93e5f8f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/komet/kasmer.py b/src/komet/kasmer.py
@@ -119,7 +119,7 @@ def build_soroban_contract(self, contract_path: Path, out_dir: Path | None = Non
         Returns:
             The path to the compiled wasm contract.
         """
-        contract_stem = self.contract_manifest(contract_path)['name']
+        contract_stem = self.contract_manifest(contract_path)['name'].replace('-', '_')
         contract_name = f'{contract_stem}.wasm'
         if out_dir is None:
             out_dir = Path(mkdtemp(f'komet_{str(contract_path.stem)}'))