Skip to content

Commit

Permalink
Merge pull request #21 from crytic/fix-readme-link-and-makefile
Browse files Browse the repository at this point in the history
Fix readme link and makefile
  • Loading branch information
tuturu-tech authored Feb 20, 2024
2 parents dc8dc48 + 07a15b6 commit 1e330ed
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
6 changes: 3 additions & 3 deletions Makefile
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
SHELL := /bin/bash

PY_MODULE := test_generator
PY_MODULE := fuzz_utils
TEST_MODULE := tests

# Optionally overriden by the user, if they're using a virtual environment manager.
Expand All @@ -20,7 +20,7 @@ TESTS :=

# Optionally overridden by the user/CI, to limit the installation to a specific
# subset of development dependencies.
TEST_GENERATOR_EXTRA := dev
FUZZ_UTILS_EXTRA := dev

# If the user selects a specific test pattern to run, set `pytest` to fail fast
# and only run tests that match the pattern.
Expand All @@ -47,7 +47,7 @@ $(VENV)/pyvenv.cfg: pyproject.toml
# Create our Python 3 virtual environment
python3 -m venv env
$(VENV_BIN)/python -m pip install --upgrade pip
$(VENV_BIN)/python -m pip install -e .[$(TEST_GENERATOR_EXTRA)]
$(VENV_BIN)/python -m pip install -e .[$(FUZZ_UTILS_EXTRA)]

.PHONY: lint
lint: $(VENV)/pyvenv.cfg
Expand Down
2 changes: 1 addition & 1 deletion README.md
Original file line number Diff line number Diff line change
Expand Up @@ -25,7 +25,7 @@ These commands will install all the Python libraries and tools required to run `

## Example

In order to generate a test file for the [BasicTypes.sol](test/src/BasicTypes.sol) contract, based on the Echidna corpus reproducers for this contract ([corpus-basic](tests/test_data/echidna-corpora/corpus-basic/)), we need to `cd` into the `tests/test_data` directory which contains the Foundry project and run the command:
In order to generate a test file for the [BasicTypes.sol](tests/test_data/src/BasicTypes.sol) contract, based on the Echidna corpus reproducers for this contract ([corpus-basic](tests/test_data/echidna-corpora/corpus-basic/)), we need to `cd` into the `tests/test_data` directory which contains the Foundry project and run the command:
```bash
fuzz-utils ./src/BasicTypes.sol --corpus-dir echidna-corpora/corpus-basic --contract "BasicTypes" --test-directory "./test/" --inheritance-path "../src/" --fuzzer echidna
```
Expand Down

0 comments on commit 1e330ed

Please sign in to comment.