@@ -44,12 +44,15 @@ bench_rts_opts_default () {
44# Overrides for specific benchmarks
44# Overrides for specific benchmarks
45bench_rts_opts_specific () {
45bench_rts_opts_specific () {
46 case "$1" in
46 case "$1" in
47+ Data.Stream.StreamD/o-n-space/elimination/toList) echo -n "-K2M" ;;
47 Data.Stream.StreamK/o-n-space/elimination/toList) echo -n "-K2M" ;;
48 Data.Stream.StreamK/o-n-space/elimination/toList) echo -n "-K2M" ;;
49 Prelude.Parallel/o-n-heap/mapping/mapM) echo -n "-M256M" ;;
50 Prelude.Parallel/o-n-heap/mapping/mapM) echo -n "-M256M" ;;
50 Prelude.Parallel/o-n-heap/monad-outer-product/*) echo -n "-M256M" ;;
51 Prelude.Parallel/o-n-heap/monad-outer-product/*) echo -n "-M256M" ;;
51 Prelude.Parallel/o-n-space/monad-outer-product/*) echo -n "-K4M -M256M" ;;
52 Prelude.Parallel/o-n-space/monad-outer-product/*) echo -n "-K4M -M256M" ;;
54+ Prelude.Rate/o-1-space/asyncly/minRate/*) echo -n "-K128K" ;;
53 # XXX These should be moved to o-n-space?
56 # XXX These should be moved to o-n-space?
54 Prelude.Serial/o-n-heap/grouping/classifySessionsOf) echo -n "-K1M -M32M" ;;
57 Prelude.Serial/o-n-heap/grouping/classifySessionsOf) echo -n "-K1M -M32M" ;;
55 Prelude.Serial/o-n-heap/Functor/*) echo -n "-K4M -M32M" ;;
58 Prelude.Serial/o-n-heap/Functor/*) echo -n "-K4M -M32M" ;;