DeforaNetworks/manticore
3
0
Fork 0
Code Releases Activity

Improved readability of .tx files using repr to print function call arguments (#694)

Browse Source
This commit is contained in:
ggrieco-tob
2018-01-08 14:09:27 -03:00
committed by GitHub
parent 98712cf426
commit 7b2607b0a6
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
manticore/ethereum.py
+1 -1
View File
@@ -1163,7 +1163,7 @@ class ManticoreEVM(Manticore):
tx_summary.write('\n')
tx_summary.write( "Function call:\n")
tx_summary.write("%s(" % state.solve_one(function_name ))
tx_summary.write(','.join(map(str, map(state.solve_one, arguments))))
tx_summary.write(','.join(map(repr, map(state.solve_one, arguments))))
is_argument_symbolic = any(map(issymbolic, arguments))
is_something_symbolic = is_something_symbolic or is_argument_symbolic
tx_summary.write(') -> %s %s\n' % ( tx.result, flagged(is_argument_symbolic)))