Small test fixups

src/host/pico_stdio/include/pico/stdio.h

@@ -14,6 +14,7 @@ typedef struct stdio_driver stdio_driver_t;
 static inline void stdio_usb_init() {}
 void stdio_uart_init();
 static inline void stdio_init_all() { stdio_uart_init(); }
+static inline void stdio_deinit_all() {}
 static inline void stdio_filter_driver(stdio_driver_t *driver) {}
 static inline void stdio_set_translate_crlf(stdio_driver_t *driver, bool enabled) {}
 static inline bool stdio_usb_connected(void) { return true; }

test/hardware_sync_spin_lock_test/CMakeLists.txt

@@ -11,3 +11,5 @@ pico_add_extra_outputs(hardware_sync_spin_lock_test)
 target_compile_definitions(hardware_sync_spin_lock_test PRIVATE
 	PICO_STDOUT_MUTEX=0
 	)
+
+set_target_properties(hardware_sync_spin_lock_test PROPERTIES PICO_TEST_TIMEOUT 10)

test/pico_test/include/pico/test.h

@@ -54,10 +54,11 @@ but not sure that is implemented yet.
                                         return -1;                                                  \
                                     }
 
+// Calls stdio_deinit_all before exiting, to avoid losing final output
 #define PICOTEST_END_TEST()       if (picotest_error_code != 0)                                     \
-                                      {printf("%s: Failed\n", picotest_description); return -1;}  \
+                                      {printf("%s: Failed\n", picotest_description); stdio_deinit_all(); return -1;}  \
                                   else                                                              \
-                                      {printf("%s: Success\n", picotest_description); puts("PASSED"); return 0;}
+                                      {printf("%s: Success\n", picotest_description); puts("PASSED"); stdio_deinit_all(); return 0;}
 
 
 #endif