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

networks: Fix the tests of make-boolean-network-form.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-11-22 23:00:26 +01:00
parent f016fbb0ca
commit 0a4035d9f7
1 changed files with 5 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

7
networks.rkt
View file

@ -302,8 +302,11 @@
(module+ test
(test-case "make-boolean-network-form"
(make-boolean-network-form (hash 'a '(and a b)
'b '(not b)))))
(check-equal? (make-boolean-network-form (hash 'a '(and a b)
'b '(not b)))
(network-form
'#hash((a . (and a b)) (b . (not b)))
'#hash((a . (#f #t)) (b . (#f #t)))))))
;;; Build a Boolean network from a given mapping assigning forms
;;; to variables.