minor corrections

runtimeverification · Aug 30, 2023 · dc61f9d · dc61f9d
1 parent 0349086
commit dc61f9d
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/README.md b/README.md
@@ -46,15 +46,15 @@ $ make elrond-loaded
 To install `kmultiversx` and its dependencies into a virtual environment, run
 
 ```
-# from the project's root directory
+# from the 'elrond-semantics' directory
 poetry -C kmultiversx install
 ```
 
 After the installation, the Python package `kmultiversx` and CLI tools `mandos` and `foundry` will be available via the `poetry run` command
 
 ```
-poetry -C run mandos --help
-poetry -C run foundry --help
+poetry -C kmultiversx run mandos --help
+poetry -C kmultiversx run foundry --help
 ```
 
 Or you can activate the virtual environment managed by `poetry` and use the commands directly

diff --git a/kmultiversx/src/kmultiversx/foundry.py b/kmultiversx/src/kmultiversx/foundry.py
@@ -52,7 +52,7 @@ def load_input_json(test_dir: str) -> dict:
         with open(join(test_dir, INPUT_FILE_NAME), 'r') as f:
             return json.load(f)
     except FileNotFoundError:
-        raise FileNotFoundError('"{INPUT_FILE_NAME}" not found in "{test_dir}"') from None
+        raise FileNotFoundError(f'"{INPUT_FILE_NAME}" not found in "{test_dir}"') from None
 
 
 def load_wasm(filename: str) -> KInner: