@@ -96,6 +96,7 @@ bench_rts_options () {
96 Data.Parser/o-1-space/manyTill) echo -n "-K4M" ;;
96 Data.Parser/o-1-space/manyTill) echo -n "-K4M" ;;
97 Data.Parser/o-n-heap/manyAlt) echo -n "-K4M -M128M" ;;
97 Data.Parser/o-n-heap/manyAlt) echo -n "-K4M -M128M" ;;
98 Data.Parser/o-n-heap/someAlt) echo -n "-K4M -M128M" ;;
98 Data.Parser/o-n-heap/someAlt) echo -n "-K4M -M128M" ;;
99+ Data.Parser/o-n-heap/choice) echo -n "-K16M -M32M" ;;
99 Data.Parser.ParserK/o-n-heap/manyAlt) echo -n "-K4M -M128M" ;;
100 Data.Parser.ParserK/o-n-heap/manyAlt) echo -n "-K4M -M128M" ;;
100 Data.Parser.ParserK/o-n-heap/someAlt) echo -n "-K4M -M128M" ;;
101 Data.Parser.ParserK/o-n-heap/someAlt) echo -n "-K4M -M128M" ;;
101 Data.Parser.ParserK/o-n-heap/sequence) echo -n "-M64M";;
102 Data.Parser.ParserK/o-n-heap/sequence) echo -n "-M64M";;