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

networks-tests: Fix the usage of stb.

Browse source
This commit is contained in:
Sergiu Ivanov 2020-02-26 21:05:06 +01:00
parent 63b676b1ba
commit 5f4cb917bc
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-tests.rkt
View file

@ -20,7 +20,7 @@
(test-case "States"
(check-equal? (make-state-booleanize '((a . 0) (b . 1)))
(st '((a . #f) (b . #t))))
(check-equal? (stb '((a . 0) (b . 1)))
(check-equal? (stb #hash((a . 0) (b . 1)))
(st '((a . #f) (b . #t))))
(check-equal? (booleanize-state (st '((a . 0) (b . 1))))
(st '((a . #f) (b . #t)))))