From e4c4170d31282835a7382a0f7143f6e1cce2adc5 Mon Sep 17 00:00:00 2001 From: John Clements Date: Thu, 3 Feb 2011 14:16:59 -0800 Subject: [PATCH] updated props in test dir --- collects/meta/props | 1 + collects/tests/stepper/universe-test.rkt | 11 ----------- 2 files changed, 1 insertion(+), 11 deletions(-) delete mode 100644 collects/tests/stepper/universe-test.rkt diff --git a/collects/meta/props b/collects/meta/props index 39b005a8ee..66a39d23e0 100755 --- a/collects/meta/props +++ b/collects/meta/props @@ -1899,6 +1899,7 @@ path/s is either such a string or a list of them. "collects/tests/stepper/already-defined.rktl" drdr:command-line #f "collects/tests/stepper/automatic-tests.rkt" drdr:timeout 600 "collects/tests/stepper/bad-letrec-test.rktl" drdr:command-line #f +"collects/tests/stepper/big-bang-test.rkt" drdr:command-line (mzc *) "collects/tests/stepper/constructor-redexes.rktl" drdr:command-line #f "collects/tests/stepper/global-prim-reduction.rktl" drdr:command-line #f "collects/tests/stepper/image-test.rktl" drdr:command-line #f diff --git a/collects/tests/stepper/universe-test.rkt b/collects/tests/stepper/universe-test.rkt deleted file mode 100644 index a03203778c..0000000000 --- a/collects/tests/stepper/universe-test.rkt +++ /dev/null @@ -1,11 +0,0 @@ -;; The first three lines of this file were inserted by DrRacket. They record metadata -;; about the language level of this file in a form that our tools can easily process. -#reader(lib "htdp-intermediate-reader.ss" "lang")((modname universe-test) (read-case-sensitive #t) (teachpacks ((lib "universe.ss" "teachpack" "2htdp") (lib "image.ss" "teachpack" "2htdp"))) (htdp-settings #(#t constructor repeating-decimal #f #t none #f ((lib "universe.ss" "teachpack" "2htdp") (lib "image.ss" "teachpack" "2htdp"))))) -(define (zug state) - (overlay - (rectangle 100 state "solid" "blue") - (rectangle 100 200 "solid" "red"))) - -(big-bang 14 - (on-tick add1) - (to-draw zug)) \ No newline at end of file