diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/graph-data.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/graph-data.rkt index 257e8e1ca1..b1f3f9dc5a 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/graph-data.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/graph-data.rkt @@ -11,10 +11,10 @@ (define types (make-parameter '())) -(define all-types '(grammar search search-gen search-gen-enum search-gen-ref search-gen-enum-ref)) +(define all-types '(grammar search search-gen search-gen-enum search-gen-ref search-gen-enum-ref enum)) (define names '("grammar" "search" "backjumping" "backjumping, ordered space" "backjumping, with refresh" - "backjumping, ordered space with refresh")) -(define symbols '(circle triangle square asterisk diamond plus)) + "backjumping, ordered space with refresh" "enumeration")) +(define symbols '(circle triangle square asterisk diamond plus 5star)) (define type-names (for/hash ([t all-types] [n names]) (values t n))) diff --git a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/run-muts.rkt b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/run-muts.rkt index 391b26d144..a9e3f10fb1 100644 --- a/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/run-muts.rkt +++ b/pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/run-muts.rkt @@ -46,7 +46,7 @@ (λ (fn) (string-append dir "/" (path->string fn))) (filter - (curry regexp-match #px"^.*([\\d]+|base)\\.rkt$") + (compose (curry regexp-match #px"^.*([\\d]+)\\.rkt$") path->string) (directory-list (get-directory dir)))))))) (define worklist files)