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

networks: Fix the tests for network-form->network.

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

4
networks.rkt
View file

@ -290,8 +290,8 @@
(define bn (network-form->network (define bn (network-form->network
(network-form (hash 'a '(and a b) (network-form (hash 'a '(and a b)
'b '(not b)) 'b '(not b))
(hash 'a (#f #t) (hash 'a '(#f #t)
'b (#f #t))))) 'b '(#f #t)))))
(define s (make-state '((a . #t) (b . #t)))) (define s (make-state '((a . #t) (b . #t))))
(check-equal? ((hash-ref (network-functions bn) 'a) s) #t))) (check-equal? ((hash-ref (network-functions bn) 'a) s) #t)))