Make symbolic function error message more verbose

trailofbits · Jul 18, 2020 · bd3e90c · bd3e90c
1 parent bec1cf8
commit bd3e90c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/manticore/platforms/evm.py b/manticore/platforms/evm.py
@@ -2493,7 +2493,7 @@ def symbolic_function(self, func, data):
 
             return result[0]
         except Exception as e:
-            logger.info("Error! %r", e)
+            logger.error("Error in symbolic function: %r", e)
             self._publish("will_solve", self.constraints, data, "get_value")
             data_c = SelectedSolver.instance().get_value(self.constraints, data)
             self._publish("did_solve", self.constraints, data, "get_value", data_c)