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

network: Fix the test for make-boolean-network.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-11-22 22:11:25 +01:00
parent b38adc89cf
commit ff6fa2c88b
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
networks.rkt
View file

@ -198,7 +198,7 @@
(define f2 (λ (s) (let ([x2 (hash-ref s 'x2)])
(not x2))))
(define bn (make-boolean-network (hash 'x1 f1 'x2 f2)))
(check-equal? (hash 'x1 '(#f #t) 'x2 '(#f #t)))))
(check-equal? (network-domains bn) (hash 'x1 '(#f #t) 'x2 '(#f #t)))))
;;; Given a state s updates all the variables from xs.
(define (update network s xs)