Skip to content

Commit 4838fe2

Browse files
chore: fix typos across codebase (#2770)
* Update flake.nix * Update summarizer.py * Update test_prove.py * Update ERC721.sol * Update README.md * Update 201710-presentation-devcon3.md --------- Co-authored-by: Andrei Văcaru <[email protected]>
1 parent 5a72ed6 commit 4838fe2

File tree

6 files changed

+11
-11
lines changed

6 files changed

+11
-11
lines changed

flake.nix

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -66,7 +66,7 @@
6666
"result*"
6767
"*.nix"
6868
"kevm-pyk/"
69-
# do not include submodule directories that might be initilized empty or non-existent
69+
# do not include submodule directories that might be initialized empty or non-existent
7070
"/deps/"
7171
"/tests/ethereum-tests"
7272
"/web/k-web-theme"
@@ -137,7 +137,7 @@
137137
projectDir = prev.lib.cleanSource (
138138
prev.nix-gitignore.gitignoreSourcePure [
139139
./.gitignore
140-
# do not include submodule directories that might be initilized empty or non-existent
140+
# do not include submodule directories that might be initialized empty or non-existent
141141
"/src/kevm_pyk/kproj/plugin"
142142
] ./kevm-pyk/.
143143
);
@@ -276,7 +276,7 @@
276276
"result*"
277277
"*.nix"
278278
"kevm-pyk/"
279-
# do not include submodule directories that might be initilized empty or non-existent
279+
# do not include submodule directories that might be initialized empty or non-existent
280280
"/deps/"
281281
"/tests/ethereum-tests"
282282
"/web/k-web-theme"

kevm-pyk/src/kevm_pyk/summarizer.py

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -583,7 +583,7 @@ class KEVMSummarizer:
583583
"""
584584
A class for summarizing the instructions of the KEVM.
585585
586-
1. `build_spec` builds the proof to symbolically execute one abitrary opcode.
586+
1. `build_spec` builds the proof to symbolically execute one arbitrary opcode.
587587
2. `explore` runs the proof to get the KCFG.
588588
3. `summarize` minimizes the KCFG to get the summarized rules for opcodes.
589589
"""
@@ -599,7 +599,7 @@ def __init__(self, proof_dir: Path, save_directory: Path) -> None:
599599
self.save_directory = save_directory
600600

601601
def build_stack_underflow_spec(self) -> APRProof | None:
602-
"""Build the specification to symbolically execute abitrary instruction with stack underflow."""
602+
"""Build the specification to symbolically execute arbitrary instruction with stack underflow."""
603603
...
604604

605605
def show_proof(

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

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -159,7 +159,7 @@ def target_dir(kompiled_targets_dir: Path | None, tmp_path_factory: TempPathFact
159159
@pytest.fixture(scope='module')
160160
def kompiled_target_for(target_dir: Path) -> Callable[[Path], Path]:
161161
"""
162-
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.
162+
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.
163163
"""
164164

165165
def kompile(spec_file: Path) -> Path:
@@ -263,7 +263,7 @@ def test_kompile_targets(
263263
"""
264264
This test function is intended to be used to pre-kompile all definitions,
265265
so that the actual proof tests do not need to do the actual compilation,
266-
which is disturbing performance measurment.
266+
which is disturbing performance measurement.
267267
268268
To achieve the desired caching, this test should be run like this:
269269
pytest src/tests/integration/test_prove.py::test_kompile_targets --kompiled-targets-dir ./prekompiled

media/201710-presentation-devcon3.md

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -444,7 +444,7 @@ head:
444444
andBool G >=Int 52 *Int I +Int 21
445445
```
446446

447-
Verifing ABI compliant contracts
447+
Verifying ABI compliant contracts
448448
--------------------------------
449449

450450
. . .

tests/specs/examples/ERC721.sol

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -635,7 +635,7 @@ contract ERC721 is Context, ERC165, IERC721, IERC721Metadata {
635635
/**
636636
* @dev Base URI for computing {tokenURI}. If set, the resulting URI for each
637637
* token will be the concatenation of the `baseURI` and the `tokenId`. Empty
638-
* by default, can be overriden in child contracts.
638+
* by default, can be overridden in child contracts.
639639
*/
640640
function _baseURI() internal view virtual returns (string memory) {
641641
return "";

tests/specs/examples/README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -45,8 +45,8 @@ For `kevm prove`, you can use `kevm show-kcfg ...` or `kevm view-kcfg ...` to ge
4545
This is the same file that is used for `kevm prove …`.
4646
- `--save-directory` must be passed as where the KCFGs have been saved (by a previous call to `kevm prove --save-directory save_directory ...`)
4747
- `--claim claim_label` lets you select an individual claim out of the `spec_file`.
48-
If the flag is ommited, it’s assumed that only one claim is present.
49-
If the flag is ommited and more than one claim is present in the `spec_file` then an error will be raised.
48+
If the flag is omitted, it’s assumed that only one claim is present.
49+
If the flag is omitted and more than one claim is present in the `spec_file` then an error will be raised.
5050
- `--spec-module spec_module` is also an inherited option.
5151

5252
The interactive KCFG (`view-kcfg`) puts your terminal in *application mode*.

0 commit comments

Comments
 (0)