More debugging

.github/workflows/integration_tests.yml

@@ -67,3 +67,4 @@ jobs:
                 cmd.stdout
                 cmd.stderr
                 agp_uart.txt
+                agp_renode.log

agp.robot

@@ -145,6 +145,8 @@ Device Applies Valid Firmware Update
     [Tags]                          firmware  bootloader  network  device-protocol  cli  fota
 
     Execute Command                 usart6 CreateFileBackend @${CURDIR}/agp_uart.txt true
+    Execute Command                 logFile @${CURDIR}/agp_renode.log true
+    Execute Command                 logLevel -1 file
 
     Start Emulation
 

firmware/Cargo.toml

@@ -72,8 +72,8 @@ features = [
     "socket-icmp",
     "socket-udp",
     "socket-tcp",
-    #"log",
-    #"verbose"
+    "log",
+    "verbose"
 ]
 
 [dependencies.embedded-graphics]

firmware/src/tasks/data_manager.rs

@@ -144,6 +144,11 @@ pub(crate) fn data_manager_task(ctx: data_manager_task::Context, arg: SpawnArg)
             }
         } else {
             warn!("Socket cannot send");
+            debug!(
+                "DM socket info, send_cap {}, recv_cap {}",
+                socket.payload_send_capacity(),
+                socket.payload_recv_capacity(),
+            );
             socket.close();
         }
 

libraries/update-manager/src/lib.rs

@@ -93,6 +93,14 @@ impl UpdateManager {
     }
 
     pub fn update<D: Device>(&mut self, device: &mut D, socket: &mut TcpSocket) -> Result<()> {
+        debug!(
+            "UM socket info, send_queue {} ({}), recv_queue {} ({})",
+            socket.send_queue(),
+            socket.send_capacity(),
+            socket.recv_queue(),
+            socket.recv_capacity(),
+        );
+
         self.manage_reboot_schedule(device, socket);
 
         self.manage_socket(socket)?;