Skip to content

Commit

Permalink
Update README.md
Browse files Browse the repository at this point in the history
  • Loading branch information
GalloDaSballo authored Jul 15, 2024
1 parent 6b19651 commit 37411bd
Showing 1 changed file with 4 additions and 4 deletions.
8 changes: 4 additions & 4 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -40,22 +40,22 @@ This will run all unit, fuzz and invariant tests in the `CounterTest` and `Cryti
```shell
echidna . --contract CryticTester --config echidna.yaml
```
Assertion mode is enabled by default in the echidna.yaml config file meaning the fuzzer will check assertion and property tests.
Assertion mode is enabled by default in the echidna.yaml config file.

To test only in property mode enable `testMode: "property"` in [echidna.yaml](https://github.com/Recon-Fuzz/create-chimera-app/blob/main/echidna.yaml)).
To test in property mode enable `testMode: "property"` in [echidna.yaml](https://github.com/Recon-Fuzz/create-chimera-app/blob/main/echidna.yaml)).

### Medusa Property Testing

```shell
medusa fuzz
```
Assertion mode is enabled by default in the medusa.json config file meaning the fuzzer will check assertion and property tests.
Assertion and property mode are enabled by default in the medusa.json config file meaning the fuzzer will check assertion and property tests.

To test only in property mode disable assertion mode using:

```json
"assertionTesting": {
"enabled": true
"enabled": false
}
```

Expand Down

0 comments on commit 37411bd

Please sign in to comment.