Merge pull request #598 from s0b0lev/improvement/error-message

Change error wording
pull/600/head
Nikhil Parasaram 6 years ago committed by GitHub
commit d10666a068
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 2
      mythril/laser/ethereum/svm.py

@ -74,7 +74,7 @@ class LaserEVM:
logging.info("Finished contract creation, found {} open states".format(len(self.open_states))) logging.info("Finished contract creation, found {} open states".format(len(self.open_states)))
if len(self.open_states) == 0: if len(self.open_states) == 0:
logging.warning("No contract was created during the execution of contract creation " logging.warning("No contract was created during the execution of contract creation "
"Increase the resources for creation execution (--max-depth or --create_timeout)") "Increase the resources for creation execution (--max-depth or --create-timeout)")
# Reset code coverage # Reset code coverage
self.coverage = {} self.coverage = {}

Loading…
Cancel
Save