From 12a427f5ea73c8905d24be8f21456205b5ab1120 Mon Sep 17 00:00:00 2001 From: Vincent St-Amour Date: Wed, 7 Jul 2010 20:09:57 -0400 Subject: [PATCH] Changed the size of the maze2 benchmark. --- collects/tests/racket/benchmarks/common/maze2.sch | 2 +- collects/tests/racket/benchmarks/common/typed/maze2.rktl | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/collects/tests/racket/benchmarks/common/maze2.sch b/collects/tests/racket/benchmarks/common/maze2.sch index 072e981208..d5a555f7fb 100644 --- a/collects/tests/racket/benchmarks/common/maze2.sch +++ b/collects/tests/racket/benchmarks/common/maze2.sch @@ -686,7 +686,7 @@ ;------------------------------------------------------------------------------ (let ((input (with-input-from-file "input.txt" read))) - (time (let loop ((n 1000) (v 0)) + (time (let loop ((n 25000) (v 0)) (if (zero? n) v (begin diff --git a/collects/tests/racket/benchmarks/common/typed/maze2.rktl b/collects/tests/racket/benchmarks/common/typed/maze2.rktl index 5939a7bf29..561fce6b98 100644 --- a/collects/tests/racket/benchmarks/common/typed/maze2.rktl +++ b/collects/tests/racket/benchmarks/common/typed/maze2.rktl @@ -763,7 +763,7 @@ (let ((input (with-input-from-file "input.txt" read))) (time (let: loop : (Listof Char) - ((n : Integer 1000) (v : (Listof Char) '())) + ((n : Integer 25000) (v : (Listof Char) '())) (if (zero? n) v (begin