diff --git a/.github/workflows/action.yml b/.github/workflows/action.yml
index d41dc6077..aae7c7e25 100644
--- 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
index 291cc6fd7..fd75bee04 100644
--- 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