Comments (5)
I don't get the difference between your file and my logs @MerlinEgalite @QGarchery
It is an excerpt because I removed all mutations that were killed or errored at compilation, leaving only the viable mutations that we should test
from morpho-blue.
I think this is the reference to the tool.
This seems to be an excerpt of the ouput. Can you provide the full ouput please and how to get it (parameters and configuration) ?
from morpho-blue.
Indeed @Rubilmax you should output the logs into a file instead of relying on the terminal output I think
Here are my logs meanwhile @QGarchery: log.txt
from morpho-blue.
It is an excerpt because I removed all mutations that were killed or errored at compilation, leaving only the viable mutations that we should test
Ok got it now, sounds good.
How did you run the tool though ?
from morpho-blue.
How did you run the tool though ?
As indicated in their README: clone their repo, install python environment then run python file within this repo
But it took a while...
from morpho-blue.
Related Issues (20)
- Unnecessary cast HOT 1
- Contango integration feedback HOT 4
- Revert silent invariant tests HOT 1
- Add return bytes to callbacks
- Restore invariants in CI
- The Cantina security review has a "draft" overlay HOT 1
- `MorphoBalancesLib.expectedBorrowAssets` may return a value greater than `totalBorrowAssets` HOT 4
- IRM zero
- `changePrank` is deprecated HOT 2
- re-add the certora rule removed in #642
- remove the test tree
- Should `expectedAssets` precise the rounding HOT 2
- Cantina Managed report is still draft HOT 1
- Fix NPMjs deployment
- Update whitepaper with correct market naming HOT 1
- are you deploy to Sepolia Testnet yet? HOT 1
- Morpho pinned to solc 0.8.19 make it incompatible with latest OpenZeppelin HOT 6
- boundUnhealthyPosition does not use amountCollateral at all
- `forge t` failing on `main`
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 morpho-blue.