From b993e925f896264bc26ea696a22ec2065cfac19e Mon Sep 17 00:00:00 2001 From: teddy Date: Tue, 22 Oct 2024 12:17:05 -0300 Subject: [PATCH] fix: updates to readme suggested by gas --- README.md | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/README.md b/README.md index a703167d..c35ee249 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)