Refinement

lib/archethic.ex

@@ -297,7 +297,9 @@ defmodule Archethic do
   Assert the transaction holds a contract and then simulate its execution.
   Return an error if the transaction holds no contract.
   """
-
+  @spec simulate_contract_execution(Transaction.t(), Transaction.t()) ::
+          %{valid: false, address: binary(), reason: binary()}
+          | %{valid: true, address: binary()}
   def simulate_contract_execution(
         prev_tx = %Transaction{data: %TransactionData{code: code}},
         incoming_tx
@@ -312,7 +314,7 @@ defmodule Archethic do
       ) do
     %{
       valid: false,
-      address: prev_tx,
+      address: prev_tx.address,
       reason: "Transaction doesn't hold any contract"
     }
   end

lib/archethic/contracts.ex

@@ -172,7 +172,8 @@ defmodule Archethic.Contracts do
   Simulate the execution of the contract hold in prev_tx with the inputs of next_tx, at a certain date
   """
 
-  @spec simulate_contract_execution(Transaction.t(), Transaction.t(), DateTime.t()) :: map()
+  @spec simulate_contract_execution(Transaction.t(), Transaction.t(), DateTime.t()) ::
+          %{valid: false, address: binary(), reason: binary()} | %{valid: true, address: binary()}
   def simulate_contract_execution(
         prev_tx = %Transaction{data: %TransactionData{code: code}},
         next_tx = %Transaction{},

lib/archethic_web/controllers/api/transaction_controller.ex

@@ -148,8 +148,6 @@ defmodule ArchethicWeb.API.TransactionController do
         conn,
         params = %{}
       ) do
-    IO.puts("\nValidating #{inspect(params)}")
-
     case TransactionPayload.changeset(params) do
       changeset = %{valid?: true} ->
         tx =

test/archethic_web/controllers/api/transaction_controller_test.exs

@@ -147,6 +147,7 @@ defmodule ArchethicWeb.API.TransactionControllerTest do
 
       MockClient
       |> stub(:send_message, fn
+        ## These decoded addresses are matching the ones in the code above
         _,
         %GetTransaction{
           address: