adjust covered-cases so that it always returns deterministically

(sorting by the strings in the result)
2012-02-01 22:15:15 -06:00 · 2012-02-01 22:15:15 -06:00 · 8bec634dcd
commit 8bec634dcd
parent 4e075a1f63
1 changed files with 3 additions and 1 deletions
--- a/collects/redex/private/reduction-semantics.rkt
+++ b/collects/redex/private/reduction-semantics.rkt
@ -1238,7 +1238,9 @@
                (λ (c) (cons (car c) (add1 (cdr c))))))

 (define (covered-cases cov)
-  (hash-map (coverage-counts cov) (λ (k v) v)))
+  (sort (hash-map (coverage-counts cov) (λ (k v) v))
+        string<=?
+        #:key car))

 (define-struct coverage (relation counts))