From 375f85598d319ab91d5858cce55a31f06017fca5 Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Wed, 26 Mar 2014 00:40:09 -0500 Subject: [PATCH] note redex-check change in redex history --- pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt b/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt index 2e7b0e2b75..c2ca62f552 100644 --- a/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt +++ b/pkgs/redex-pkgs/redex-lib/redex/HISTORY.txt @@ -7,6 +7,10 @@ v6.1 * added the #:enum-p keyword (based on statistics help from Neil Toronto) + * change the default strategy of redex-check to do enumeration first, + then interleave random generation and enumeration and then just + do random generation + v6.0 * Added an enumerator for patterns. For example, here's how to get