suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

redex: add enum to benchmark plotting

Browse Source 
also filter -base files correctly in run-muts
This commit is contained in:
Burke Fetscher 2014-02-18 11:52:31 -06:00
parent 1d0e4bedde
commit c47828601a
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/graph-data.rkt
View File

@ -11,10 +11,10 @@
(define types (make-parameter '())) (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" (define names '("grammar" "search" "backjumping" "backjumping, ordered space" "backjumping, with refresh"
"backjumping, ordered space with refresh")) "backjumping, ordered space with refresh" "enumeration"))
(define symbols '(circle triangle square asterisk diamond plus)) (define symbols '(circle triangle square asterisk diamond plus 5star))
(define type-names (define type-names
(for/hash ([t all-types] [n names]) (for/hash ([t all-types] [n names])
(values t n))) (values t n)))

2
pkgs/redex-pkgs/redex-examples/redex/examples/benchmark/run-muts.rkt
View File

@ -46,7 +46,7 @@
(λ (fn) (λ (fn)
(string-append dir "/" (path->string fn))) (string-append dir "/" (path->string fn)))
(filter (filter
(curry regexp-match #px"^.*([\\d]+|base)\\.rkt$") (compose (curry regexp-match #px"^.*([\\d]+)\\.rkt$") path->string)
(directory-list (get-directory dir)))))))) (directory-list (get-directory dir))))))))
(define worklist files) (define worklist files)