diff --git a/networks.rkt b/networks.rkt index a59b791..d093dac 100644 --- a/networks.rkt +++ b/networks.rkt @@ -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.