Comments (5)
I think PropTest already has shrinking https://github.com/AltSysrq/proptest/search?q=shrink, as implemented in #44
from foundry.
should take some pointers from the echidna fuzzing engine which keeps a malicious input db and has what they call "constant mining" (recycles state vars and return data as input)
from foundry.
oh and shrinking would be rly helpful too
from foundry.
Can we keep open for adding advanced features like mutation or constant mining? Or should I crate a new issue
from foundry.
Yeah let's get more specific issues open for that, along with labels for each.
from foundry.
Related Issues (20)
- Unable to verify contracts on Polygon Amoy HOT 5
- forge clone compiling issues (src mapping seems to break imports) HOT 3
- forge create sets eth_estimateGas's type field to null, which does not work with a Besu node HOT 2
- Anvil: Otterscan `ots_getTransactionBySenderAndNonce` returns transaction object instead of transaction hash
- `Vm.getCode` can't find the artifact file: `No matching artifact found` HOT 6
- Using `assertEq` in unit test reports error: "Invalid data" HOT 2
- Contract verification failed with `create` command when library specified
- Smart app control has blocked part of this app.. no foundry for windows any more HOT 3
- Environment variable, ETH_RPC_URL, is not being picked up by forge script HOT 3
- Forge test doesn't treat calls to external libraries like part of a parent transaction but as independent transactions HOT 10
- Add serializeUintQuantity cheatcode HOT 6
- bug(cast): resolve-name and lookup-address ENS commands do not work HOT 1
- Support for foundry plugins written in Rust
- Support for flamegraph
- add `--background` and `stop` to allow anvil to run in the background HOT 2
- Regression: cast call results in execution reverted on local test network HOT 2
- anvil: problems with estimate gas - max fee per gas less than block base fee HOT 4
- Can't deploy contracts
- Anvil panic crash on eth_estimategas
- `vm.print` to replace `console.log` library
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 foundry.