gnu: open-logic: Complete tests.

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

Change-Id: Id65302ea9bc3578ce16a01f4b2fb75742233f57e

1 files changed, 5 insertions, 1 deletions

diff --git a/gnu/packages/electronics.scm b/gnu/packages/electronics.scm
index 9c9aff93f06..e95f0c1560e 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: