Skip to content

Commit

Permalink
update config
Browse files Browse the repository at this point in the history
  • Loading branch information
haythemsellami committed Aug 17, 2020
1 parent f485a41 commit e37f4b4
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions crytic-config.json
Original file line number Diff line number Diff line change
@@ -1,10 +1,10 @@
{
"cwd": ".",
"cwd": "contracts/",
"node_version": "10.18.0",
"solc": "0.5.10",
"use_yarn": false,
"echidna": {
"contract": "contracts/echidna/EchidnaOptionsContract.sol",
"config": "contracts/echidna/EchidnaOptionsContract.yaml"
"contract": "echidna/EchidnaOptionsContract.sol",
"config": "echidna/EchidnaOptionsContract.yaml"
}
}

0 comments on commit e37f4b4

Please sign in to comment.