Comments (5)
Hello!
You need to specify the correct contract name which has the properties. Use the --contract
command line option.
from echidna.
Oh thank you very much! I did not realise I had to place contract inside because echidna had automatically detected right contract where the invariant was placed.
from echidna.
Hi, I may be an idiot, but I was wondering how you would deploy multiple contracts. If I have 2 contracts main and dummy, where the test invariant is placed in main, how would I deploy both of them where they both contain some eth? I have managed to deploy both, where main contains an initial balance, but I am unable to figure out how to have an initial balance for dummy. I have read through the configuration file and have been struggling over an hour to do so.
// contract: "timeStamp" deployer: "0x555555" balanceContract: 100 deployContracts: [["0x30005", "User"]] sender: ["0x30005", "0x200005"] balanceAddr: 0x30000 testMode: property testLimit: 500000
Also would echidna happen to have a discord server? I have some question about echidna because I am writing about it on my dissertation and I would not want to spam the github server.
from echidna.
Hi @JacobYiu! We have a Slack workspace you can join, the link is in the readme: https://github.com/crytic/echidna?tab=readme-ov-file#getting-help
You can fund your main contract with enough eth using balanceContract
, and then the constructor function of your main contract can transfer eth to other addresses / contracts to distribute the funds, or deploy extra contracts you may need.
from echidna.
Thank you very much for the reply! I will continue this issue on the slack forum.
from echidna.
Related Issues (20)
- [Bug-Candidate]: Coverage report doesn't display fuzzing contract in html unless an assertion fails HOT 1
- [Bug-Candidate]: no fore color support for terminal xterm-256color HOT 4
- [Bug-Candidate]: `Cannot decode byte '\xe4': Data.Text.Encoding: Invalid UTF-8 stream` HOT 9
- Improve error message on MaxInitCodeSizeExceeded issue HOT 3
- Improve error message if the function hashmap is not detected HOT 3
- [Bug-Candidate]: Internal Error: TODO: implement copySlice with a symbolically sized region HOT 4
- Feature Request: Add setting to consider reverted tests as failed in assertion mode HOT 1
- Shrinking multicore HOT 4
- update number of workers to a decent default HOT 1
- warn when seqLen > 1 and there haven't been any SLOAD/SSTORE in target HOT 1
- Allow Configurable Verbosity HOT 1
- [Bug-Candidate]: Contract is "unknown contract" but should be able to be identified HOT 2
- Have multiple workers to speed up fetching slots HOT 3
- [Bug-Candidate]: A simple contract took onchain fuzzer extremely long time to run due to zero calls per second HOT 2
- add call sequence mutation that removes all reverting txs in the sequences HOT 1
- [Bug-Candidate]: echidna: thread blocked indefinitely in an MVar operation HOT 2
- Log shrinking status when running in detached mode
- Fine-tune shrinking behavior HOT 1
- [Bug-Candidate]: General Malfunction HOT 2
- [Bug-Candidate]: Echidna unable to break property using fallback HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from echidna.