Retarget DMdA stepper tests to SdP.

... as the DMdA language levels have just been removed.

Author: mikesperber

htdp-test/tests/stepper/language-level-model.rkt

@@ -58,11 +58,11 @@
   (ll-hashlang-model "lazy" fake-lazy-render-settings #f))
 
 ;; unsure about the render-settings, here: 
-(define dmda-a
-  (ll-ll-model `(lib "DMdA-beginner.ss" "deinprogramm") fake-beginner-render-settings #t))
+(define sdp-a
+  (ll-ll-model `(lib "beginner.rkt" "deinprogramm" "sdp") fake-beginner-render-settings #t))
 ;; waiting to hear from Mike Sperber on this....:
-#;(define dmda-a/h
-  (ll-hashlang-model `(lib "DMdA-beginner.ss" "deinprogramm") fake-beginner-render-settings #t))
+#;(define sdp-a/h
+  (ll-hashlang-model `(lib "beginner.ss" "deinprogramm" "sdp") fake-beginner-render-settings #t))
 
 
 ;; SUPPORT FOR TESTING A BUNCH OF LANGUAGES AT ONCE:

htdp-test/tests/stepper/manual-tests.txt

@@ -39,5 +39,5 @@ e.g.
 
 - try big-bang program.
 
-- try DMdA program, make sure that test cases don't show extra steps.
+- try SdP program, make sure that test cases don't show extra steps.
 

htdp-test/tests/stepper/test-cases.rkt

@@ -1207,12 +1207,12 @@
 
   ;;;;;;;;;;;;
   ;;
-  ;;    DMdA TESTS
+  ;;    SdP TESTS
   ;;
   ;;;;;;;;;;;
 
-  (t1 'dmda-certificate-bug
-       m:dmda-a
+  (t1 'sdp-certificate-bug
+       m:sdp-a
       "(: apply-nim-move (integer? -> integer?))
   (define apply-nim-move
     (lambda (s)