From 9a1477ad42fd85810371fb107c65a4f884605cee Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Tue, 2 Jun 2020 23:33:34 +0200
Subject: [PATCH] networks: Fix the test for tabulate-state*/boolean.

---
 networks.rkt | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/networks.rkt b/networks.rkt
index 20e7454..a590a63 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -762,7 +762,12 @@
   (test-case "tabulate-state*/boolean"
     (define f1 (λ (st) (and (hash-ref st 'a) (hash-ref st 'b))))
     (define f2 (λ (st) (or (hash-ref st 'a) (hash-ref st 'b))))
-    (tabulate-state*/boolean (list f1 f2) '(a b))))
+    (check-equal? (tabulate-state*/boolean (list f1 f2) '(a b))
+                  '((a b f1 f2)
+                    (#f #f #f #f)
+                    (#f #t #f #t)
+                    (#t #f #f #t)
+                    (#t #t #t #t)))))
 
 ;;; Tabulates a given network.
 ;;;