branch: main
commit c23274f6a5b81659702629aeb971b4b829dbf3f3
Author: Romain GARBAGE <romain.garb...@inria.fr>
AuthorDate: Wed May 7 11:18:22 2025 +0200
common: Check SPECIFICATION-IS-ACTIVE? in SPECIFICATION=?.
* src/cuirass/tests/common.scm (specifications=?): Check
SPECIFICATION-IS-ACTIVE?.
Signed-off-by: Ludovic Courtès <l...@gnu.org>
---
src/cuirass/tests/common.scm | 2 ++
1 file changed, 2 insertions(+)
diff --git a/src/cuirass/tests/common.scm b/src/cuirass/tests/common.scm
index 3ebb0ad..86adbea 100644
--- a/src/cuirass/tests/common.scm
+++ b/src/cuirass/tests/common.scm
@@ -135,6 +135,8 @@ Return the socket on success and #f on failure."
(specification-priority spec2))
(= (specification-period spec1)
(specification-period spec2))
+ (equal? (specification-is-active? spec1)
+ (specification-is-active? spec2))
(equal? (specification-systems spec1)
(specification-systems spec2))
(equal? (map channel-name
