DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

log testcase generation (#430)

Browse Source
This commit is contained in:
JP Smith 2017-08-04 17:18:45 -04:00 committed by GitHub
parent 7b832724a6
commit af3020db95
2 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
manticore/core/workspace.py
View File

@ -436,6 +436,7 @@ class ManticoreOutput(object):
self.save_syscall_trace(state)
self.save_fds(state)
self._store.save_state(state, self._named_key('pkl'))
return self._last_id
def save_stream(self, key, *rest, **kwargs):
return self._store.save_stream(key, *rest, **kwargs)

2
manticore/manticore.py
View File

@ -614,7 +614,7 @@ class Manticore(object):
:param message: Accompanying message
'''
testcase_id = self._output.save_testcase(state, message)
logger.debug("Generated testcase No. %d - %s", testcase_id, message)
logger.info("Generated testcase No. {} - {}".format(testcase_id, message))
def _produce_profiling_data(self):
class PstatsFormatted: