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

rs->ht-str-triples: Add an actual test case.

Browse source
This commit is contained in:
Sergiu Ivanov 2023-08-15 10:46:26 +02:00
parent 78e88840cc
commit b2bc06646e
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
rs.rkt
View file

@ -168,7 +168,9 @@
(test-case "rs->ht-str-triples"
(define rs (hash 'a (make-reaction '(x) '(y) '(z))
'b (make-reaction '(x y) '() '(t))))
(rs->ht-str-triples rs)))
(check-equal? (rs->ht-str-triples rs)
(hash 'a (list "x" "y" "z")
'b (list "x y" "" "t")))))
(struct state ([result : (Setof Species)]
[rest-contexts : (Listof (Setof Species))])