diff --git a/README.md b/README.md index a703167..c35ee24 100644 --- a/README.md +++ b/README.md @@ -21,7 +21,7 @@
Sample Integration, Unit, Property-based fuzzed and symbolic tests
Example tests showcasing mocking, assertions and configuration for mainnet forking. As well it includes everything needed in order to check code coverage.
Unit tests are built based on the Branched-Tree Technique, using Bulloak. -
Formal verification and property-based fuzzing are achieved with Halmos and medusa (resp.). +
Formal verification and property-based fuzzing are achieved with Halmos and Medusa (resp.).
Linter
Simple and fast solidity linting thanks to forge fmt.
@@ -80,7 +80,7 @@ In order to just run integration tests, run: yarn test:integration ``` -In order to just run the medusa fuzzing campaign (requires [Medusa](https://github.com/crytic/medusa/blob/master/docs/src/getting_started/installation.md) installed), run: +In order to start the Medusa fuzzing campaign (requires [Medusa](https://github.com/crytic/medusa/blob/master/docs/src/getting_started/installation.md) installed), run: ```bash yarn test:fuzz @@ -171,4 +171,4 @@ Also, remember to update the `package_name` param to your package name: You can take a look at our [solidity-exporter-action](https://github.com/defi-wonderland/solidity-exporter-action) repository for more information and usage examples. ## Licensing -The primary license for the boilerplate is MIT, see [`LICENSE`](https://github.com/defi-wonderland/solidity-foundry-boilerplate/blob/main/LICENSE) \ No newline at end of file +The primary license for the boilerplate is MIT, see [`LICENSE`](https://github.com/defi-wonderland/solidity-foundry-boilerplate/blob/main/LICENSE)