From b063cd4aa7d6d6b106a9562e578c7482c51fd085 Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Tue, 16 Dec 2025 15:24:58 +0100
Subject: [PATCH] gnu: python-cocotb: Complete tests.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/electronics.scm (python-cocotb)[arguments]: Add
’run-examples #:phase.

Change-Id: I3347baa3d21e6aec80d4e72a4d67dbe003bd8c2e
---
 gnu/packages/electronics.scm | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 1376d659c4e6a6e1b4d34b7aa12b0ca8c49cdc29..cadd8244868b4d87977d41cfc1d4c6dad959f7d7 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -2041,7 +2041,13 @@ files as specified in IEEE 1364-2005.")
     (arguments
      (list
       #:test-flags
-      #~(list "-k" "not test_toplevel_library")));requires questasim simulator
+      #~(list "-k" "not test_toplevel_library") ;requires questasim simulator
+      #:phases
+      #~(modify-phases %standard-phases
+          (add-after 'check 'run-examples
+            (lambda* (#:key tests? #:allow-other-keys)
+              (when tests?
+                (invoke "make" "-k" "-C" "examples")))))))
     (native-inputs
      (list iverilog
            nvc