Comments (3)
That would be really nice. I am struggling to find answers to even basic questions, e.g. how to handle contracts under test that require imports, how to do test harness setup (via test contract constructor or otherwise) etc
from echidna.
README is better, but perhaps we need better examples?
from echidna.
README is better now. I improved a little the examples and removed old flags.
from echidna.
Related Issues (20)
- [Bug-Candidate]: no back color support for terminal screen.xterm-256color HOT 1
- echidna: Couldn't compile given file HOT 3
- echidna-test: command not found HOT 2
- [Bug-Candidate]: Cannot use command line arguments
- [Bug-Candidate]: Missing dashboard config option HOT 2
- [Bug-Candidate]: Unclear why deployment fails when there is no apparent reason HOT 3
- Expression-level coverage support
- Add a flag to log msg.sender for each function trace HOT 4
- [Bug-Candidate]: Coverage html doesn't match source code for certain characters
- estimateGas: generate gas info in the corpus HOT 1
- looks like 2.2.2 release was not completed HOT 2
- Allow copy/paste from the echidna UI output HOT 1
- Echidna master adds an `--evm-version` tag to the end of crytic-compile HOT 2
- Show the reproducer filename
- [Bug-Candidate]: Contract Size Exceeded when optimized contract is under 24KB HOT 2
- Dump event log to a file in interactive mode
- [Bug-Candidate]: setupTerm: Couldn't look up terminfo entry "xterm-256color" in v2.2.2 HOT 5
- ETHERSCAN_API_KEY should be captured as a requirement in README.md and made scalable to other blockchain HOT 2
- [Bug-Candidate]: Incorrect wiki entry HOT 1
- Add `--rpc-url` and `--rpc-block` CLI commands
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.