scolobb/dds
1
0
Fork 0
Code Issues Pull requests Releases Wiki Activity

networks: Fix the test for tabulate-state*/boolean.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-06-02 23:33:34 +02:00
parent f812165b39
commit 9a1477ad42
1 changed files with 6 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
networks.rkt
View file

@ -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.
;;;