From 7b2607b0a6c1ebf2b3d56a34ecbea840d73b56d5 Mon Sep 17 00:00:00 2001 From: ggrieco-tob <31542053+ggrieco-tob@users.noreply.github.com> Date: Mon, 8 Jan 2018 14:09:27 -0300 Subject: [PATCH] Improved readability of .tx files using repr to print function call arguments (#694) --- manticore/ethereum.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/manticore/ethereum.py b/manticore/ethereum.py index 7e3a6c3..fc0cb53 100644 --- a/manticore/ethereum.py +++ b/manticore/ethereum.py @@ -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)))