Reduce concrete hash log messages #1695
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
feliam
approved these changes
May 5, 2020
|
Sorry, please pause on this one. It looks like there's a bug. |
smoelius
force-pushed
the
reduce-concrete-hash-log-messages
branch
from
9344fb1 to
808f8af
Compare
|
I think it's fixed now. Sorry for my confusion (esp. @feliam). |
ekilmer
added a commit
that referenced
this pull request
May 18, 2020
* master: (24 commits) Fix symbolic syscall arg concretization (#1697) Update README, Add Issue Templates (#1685) Fix inheritance magic and add plugin enable/disable (#1696) Add hashing to constraintSets (#1703) Reduce log messages (#1700) Updated Proc error message to be more informative (#1704) Move states that selfdestruct to the ready queue. (#1699) Reduce concrete hash log messages. (#1695) Remove Keystone from existing tests (#1684) Change URL for WASM spec (#1702) Overhaul Linux file emulation (#1673) Try getting more coverage from truffle-test (#1694) Eliminate deprecation warning in solidity_create_contract. (#1692) Fix a few documentation typos in ManticoreBase (#1687) Add set_verbosity to the documentation (#1688) Adjust z3 options. (#1691) Improve concretize log messages (#1686) Move truffle to its own CI type (#1693) Remove default gas limit (#1689) Better argument names in manticoreEVM api (#1652) ...
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Manticore produces many log messages of the following form, and many of them are redundant:
This PR makes it so that only one log message is generated for each new find.