From b2bc06646e15daa44e45134876a10fce2cbe9934 Mon Sep 17 00:00:00 2001 From: Sergiu Ivanov Date: Tue, 15 Aug 2023 10:46:26 +0200 Subject: [PATCH] rs->ht-str-triples: Add an actual test case. --- rs.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/rs.rkt b/rs.rkt index 71174f1..2d42879 100644 --- a/rs.rkt +++ b/rs.rkt @@ -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))])