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

networks: Use a named test-case in the tests for apply-tbf-to-state.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-07-23 00:22:39 +02:00
parent 6eb6e21979
commit ead66a2f4e
1 changed files with 4 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
networks.rkt
View file

@ -939,9 +939,10 @@
(apply-tbf tbf (list->vector (hash-map st (λ (_ val) val)))))
(module+ test
(test-case "apply-tbf-to-state"
(define st (make-state '((x1 . 0) (x2 . 1))))
(define f (tbf #(1 1) 1))
(check-equal? (apply-tbf-to-state f st) 0))
(check-equal? (apply-tbf-to-state f st) 0)))
;;; A state TBF is a TBF with named inputs. A state TBF can be
;;; applied to states in an unambiguous ways.