Fix references to old test location (#718)

crytic · Feb 11, 2022 · b3071ad · b3071ad
1 parent 31034fb
commit b3071ad
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 6 deletions.
diff --git a/.github/workflows/action.yml b/.github/workflows/action.yml
@@ -19,16 +19,16 @@ jobs:
       - name: Assert test
         uses: crytic/echidna-action@v1
         with:
-          files: "examples/solidity/basic/assert.sol"
+          files: "tests/solidity/basic/assert.sol"
           contract: "TestAssert"
-          config: "examples/solidity/basic/assert.yaml"
+          config: "tests/solidity/basic/assert.yaml"
           solc-version: 0.6.12
           negate-exit-status: 1
 
       - name: Multi-abi test
         uses: crytic/echidna-action@v1
         with:
-          files: "examples/solidity/basic/multi-abi.sol"
+          files: "tests/solidity/basic/multi-abi.sol"
           contract: "B"
           multi-abi: true
           solc-version: 0.7.6

diff --git a/README.md b/README.md
@@ -44,7 +44,7 @@ To check these invariants, run:
 $ echidna-test myContract.sol
 ```
 
-An example contract with tests can be found [tests/solidity/basic/flags.sol](examples/solidity/basic/flags.sol). To run it, you should execute:
+An example contract with tests can be found [tests/solidity/basic/flags.sol](tests/solidity/basic/flags.sol). To run it, you should execute:
 ```
 $ echidna-test tests/solidity/basic/flags.sol
 ```
@@ -104,7 +104,7 @@ $ echidna-test contract.sol --contract TEST --config config.yaml
 The configuration file allows users to choose EVM and test generation
 parameters. An example of a complete and annotated config file with the default
 options can be found at
-[tests/solidity/basic/default.yaml](examples/solidity/basic/default.yaml).
+[tests/solidity/basic/default.yaml](tests/solidity/basic/default.yaml).
 More detailed documentation on the configuration options is available in our
 [wiki](https://github.com/trailofbits/echidna/wiki/Config).
 
@@ -188,7 +188,7 @@ $ docker build -t echidna .
 Then, run it via:
 
 ```
-$ docker run -it -v `pwd`:/src echidna echidna-test /src/examples/solidity/basic/flags.sol
+$ docker run -it -v `pwd`:/src echidna echidna-test /src/tests/solidity/basic/flags.sol
 ```
 
 ### Building using Stack