From 7109e92b043d5bb7334b2ee6c2755c4b886479fc Mon Sep 17 00:00:00 2001 From: Robby Findler Date: Mon, 20 Feb 2012 15:28:08 -0600 Subject: [PATCH] add gc2 support to random mutator --- collects/plai/private/random-mutator.rkt | 8 ++++---- collects/plai/random-mutator.rkt | 3 ++- 2 files changed, 6 insertions(+), 5 deletions(-) diff --git a/collects/plai/private/random-mutator.rkt b/collects/plai/private/random-mutator.rkt index f888ac54b2..99f0d1e576 100644 --- a/collects/plai/private/random-mutator.rkt +++ b/collects/plai/private/random-mutator.rkt @@ -249,14 +249,14 @@ #:heap-values [heap-values (list 0 1 -1 'x 'y #f #t '())] #:iterations [iterations 200] #:program-size [program-size 10] - #:heap-size [heap-size 200]) + #:heap-size [heap-size 200] + #:gc2? [gc2? #f]) (call-with-output-file filename (λ (port) (cond [collector - (fprintf port "#lang plai/mutator\n") - (fprintf port "~s\n" `(allocator-setup ,collector ,heap-size)) - (fprintf port "~s\n" `(import-primitives symbol=?))] + (fprintf port "#lang plai/~amutator\n" (if gc2? "gc2/" "")) + (fprintf port "~s\n" `(allocator-setup ,collector ,heap-size))] [else (fprintf port "#lang scheme\n") (for-each diff --git a/collects/plai/random-mutator.rkt b/collects/plai/random-mutator.rkt index f3ea2622d4..791c9fb3c5 100644 --- a/collects/plai/random-mutator.rkt +++ b/collects/plai/random-mutator.rkt @@ -11,7 +11,8 @@ exact-positive-integer? #:heap-values (cons/c heap-value? (listof heap-value?)) #:program-size exact-positive-integer? - #:heap-size exact-positive-integer?) + #:heap-size exact-positive-integer? + #:gc2? boolean?) void?)] [find-heap-values (-> (or/c path-string? input-port?)