chore: fix some typos

Signed-off-by: cuiweiyuan <[email protected]>

kevm-pyk/src/tests/integration/test_prove.py

@@ -159,7 +159,7 @@ def target_dir(kompiled_targets_dir: Path | None, tmp_path_factory: TempPathFact
 @pytest.fixture(scope='module')
 def kompiled_target_for(target_dir: Path) -> Callable[[Path], Path]:
     """
-    Generate a function that returns a path to the kompiled defintion for a given K spec. Invoke `kompile` only if no kompiled directory is cached for the spec.
+    Generate a function that returns a path to the kompiled definition for a given K spec. Invoke `kompile` only if no kompiled directory is cached for the spec.
     """
 
     def kompile(spec_file: Path) -> Path:
@@ -263,7 +263,7 @@ def test_kompile_targets(
     """
     This test function is intended to be used to pre-kompile all definitions,
     so that the actual proof tests do not need to do the actual compilation,
-    which is disturbing performance measurment.
+    which is disturbing performance measurement.
 
     To achieve the desired caching, this test should be run like this:
     pytest src/tests/integration/test_prove.py::test_kompile_targets --kompiled-targets-dir ./prekompiled

tests/specs/examples/ERC721.sol

@@ -635,7 +635,7 @@ contract ERC721 is Context, ERC165, IERC721, IERC721Metadata {
     /**
      * @dev Base URI for computing {tokenURI}. If set, the resulting URI for each
      * token will be the concatenation of the `baseURI` and the `tokenId`. Empty
-     * by default, can be overriden in child contracts.
+     * by default, can be overridden in child contracts.
      */
     function _baseURI() internal view virtual returns (string memory) {
         return "";

tests/specs/examples/README.md

@@ -45,8 +45,8 @@ For `kevm prove`, you can use `kevm show-kcfg ...` or `kevm view-kcfg ...` to ge
   This is the same file that is used for `kevm prove …`.
   - `--save-directory` must be passed as where the KCFGs have been saved (by a previous call to `kevm prove --save-directory save_directory ...`)
   - `--claim claim_label` lets you select an individual claim out of the `spec_file`.
-If the flag is ommited, it’s assumed that only one claim is present.
-If the flag is ommited and more than one claim is present in the `spec_file` then an error will be raised.
+If the flag is omitted, it’s assumed that only one claim is present.
+If the flag is omitted and more than one claim is present in the `spec_file` then an error will be raised.
   - `--spec-module spec_module` is also an inherited option.
 
 The interactive KCFG (`view-kcfg`) puts your terminal in *application mode*.