From 8bec634dcd6042513909826a36188dfbfc11e6f3 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 1 Feb 2012 22:15:15 -0600 Subject: [PATCH] adjust covered-cases so that it always returns deterministically (sorting by the strings in the result) --- collects/redex/private/reduction-semantics.rkt | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/collects/redex/private/reduction-semantics.rkt b/collects/redex/private/reduction-semantics.rkt index 3dc8d0e8e1..de1478e5a1 100644 --- 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))