Reduce concrete hash log messages.

manticore/ethereum/manticore.py

@@ -1180,12 +1180,13 @@ def _on_unsound_symbolication(self, state, func, data, result):
         if value is not None:
             with self.locked_context("ethereum", dict) as ethereum_context:
                 global_known_pairs = ethereum_context.get(f"symbolic_func_conc_{name}", set())
-                global_known_pairs.add((data, value))
-                ethereum_context[f"symbolic_func_conc_{name}"] = global_known_pairs
+                if (data, value) not in global_known_pairs:
+                    global_known_pairs.add((data, value))
+                    ethereum_context[f"symbolic_func_conc_{name}"] = global_known_pairs
+                    logger.info(f"Found a concrete {name} {data} -> {value}")
             concrete_pairs = state.context.get(f"symbolic_func_conc_{name}", set())
             concrete_pairs.add((data, value))
             state.context[f"symbolic_func_conc_{name}"] = concrete_pairs
-            logger.info(f"Found a concrete {name} {data} -> {value}")
         else:
             # we can not calculate the concrete value lets use a fresh symbol
             with self.locked_context("ethereum", dict) as ethereum_context: