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

networks: Fix the test case for print-org-tbfs/state.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-10-12 00:47:25 +02:00
parent 7b3b31b211
commit 0987ce332a
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
networks.rkt
View file

@ -1082,7 +1082,9 @@
(test-case "print-org-tbfs/state"
(define tbfs (list (make-tbf/state '((a . 1) (b . 2)) 3)
(make-tbf/state '((a . -2) (b . 1)) 1)))
(print-org-tbfs/state tbfs)))
(check-equal? (print-org-tbfs/state tbfs)
'((a b θ) (1 2 3) (-2 1 1)))))
;;; A TBN is a network form mapping TBFs to variables.
(define tbn? (hash/c variable? tbf?))