forked from edendao/omniprotocol
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy path.dapprc
21 lines (18 loc) · 796 Bytes
/
.dapprc
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
# Make dependencies available
export DAPP_REMAPPINGS=$(cat remappings.txt)
export DAPP_SOLC_VERSION=0.8.13
export DAPP_BUILD_OPTIMIZE=1
export DAPP_BUILD_OPTIMIZE_RUNS=1000000
export DAPP_LINK_TEST_LIBRARIES=0
export DAPP_TEST_VERBOSITY=1
export HEVM_RPC=$RPC_ON
export ETH_RPC_URL=$ETH_NODE
# set so that we can deploy to local node w/o hosted private keys
export ETH_RPC_ACCOUNTS=true
if [ "$DEEP_FUZZ" == "true" ]; then
export DAPP_TEST_FUZZ_RUNS=50000 # Fuzz for a long time if DEEP_FUZZ is set to true.
export DAPP_TEST_SMTTIMEOUT=60000 # SMT solve for a long time if DEEP_FUZZ is set to true.
else
export DAPP_TEST_FUZZ_RUNS=100 # Only fuzz briefly if DEEP_FUZZ is not set to true.
export DAPP_TEST_SMTTIMEOUT=6000 # Only SMT solve briefly if DEEP_FUZZ is not set to true.
fi