DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Added a function to generate evm testcases without using callbacks (#791)

Browse Source 
* Added a function to generate evm testcases without using callbacks

Possible fix for #782

* The 'message' parameter in generate_testcase should be optional

Requested by @montyly
This commit is contained in:
ggrieco-tob 2018-03-06 18:35:19 -03:00 committed by GitHub
parent fe2538f6bc
commit f4118f4f0f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
manticore/ethereum.py
View File

@ -1113,6 +1113,9 @@ class ManticoreEVM(Manticore):
def workspace(self):
return self._executor._workspace._store.uri
def generate_testcase(self, state, name, message=''):
self._generate_testcase_callback(state, name, message)
def _generate_testcase_callback(self, state, name, message):
'''
Create a serialized description of a given state.
@ -1127,7 +1130,7 @@ class ManticoreEVM(Manticore):
# so this function can be fully ported to EVMWorld.generate_workspace_files.
def flagged(flag):
return '(*)' if flag else ''
testcase = self._output.testcase()
testcase = self._output.testcase(name)
logger.info("Generated testcase No. {} - {}".format(testcase.num, message))
blockchain = state.platform
with testcase.open_stream('summary') as summary: