note redex-check change in redex history

2014-03-26 00:40:09 -05:00 · 2014-03-26 00:40:09 -05:00 · 375f85598d
commit 375f85598d
parent 494f32084a
1 changed files with 4 additions and 0 deletions
--- 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