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

networks: Fix the tests for print-org-tbn.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-11-02 23:05:05 +01:00
parent af5a9d07a9
commit c4a5327b4b
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
networks.rkt
View file

@ -1597,4 +1597,5 @@
(test-case "print-org-tbn" (test-case "print-org-tbn"
(define tbn (make-tbn `((a . ,(make-sbf/state '((b . 1)))) (define tbn (make-tbn `((a . ,(make-sbf/state '((b . 1))))
(b . ,(make-tbf/state '((a . -1)) -1))))) (b . ,(make-tbf/state '((a . -1)) -1)))))
(print-org-tbn tbn))) (check-equal? (print-org-tbn tbn)
'((- a b θ) (a 0 1 0) (b -1 0 -1)))))