From f73558eb52a356cdd32390056dc4b515402665de Mon Sep 17 00:00:00 2001
From: Cayetano Santos <csantosb@inventati.org>
Date: Mon, 12 Jan 2026 12:21:12 +0100
Subject: [PATCH] gnu: open-logic: Complete tests.
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

* gnu/packages/electronics.scm (open-logic)[arguments]: Add "en_cl_fix"
tests to ’check #:phase.

Change-Id: Id65302ea9bc3578ce16a01f4b2fb75742233f57e
---
 gnu/packages/electronics.scm | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 9c9aff93f0660c49e8e4ed89cae6b6a16ec52ebb..e95f0c1560e8264a770746b50330ffc9e4a0a328 100644
--- a/gnu/packages/electronics.scm
+++ b/gnu/packages/electronics.scm
@@ -2050,8 +2050,12 @@ verification.")
       #:phases
       #~(modify-phases %standard-phases
           (add-after 'install 'check
-            (lambda* (#:key tests? #:allow-other-keys)
+            (lambda* (#:key tests? inputs #:allow-other-keys)
               (when tests?
+                (with-directory-excursion "3rdParty/en_cl_fix/sim"
+                  (invoke "python3" "run.py" "--simulator" "nvc"
+                          "--simulator-path"
+                          (dirname (search-input-file inputs "bin/nvc"))))
                 (with-directory-excursion "sim"
                   (substitute* "run.py"
                     ;; This is required to comply with current VUnit, see: