Import HtDP tests that were in drracket-test package

.github/workflows/ci.yml

@@ -11,8 +11,8 @@ jobs:
         racket-variant: ["CS"]
 
     steps:
-    - uses: actions/checkout@v4.3.0
-    - uses: Bogdanp/setup-racket@v1.14
+    - uses: actions/checkout@v7
+    - uses: Bogdanp/setup-racket@v1.15
       with:
         architecture: 'x64'
         distribution: 'full'
@@ -22,8 +22,10 @@ jobs:
         dest: '${HOME}/racket'
         local_catalogs: $GITHUB_WORKSPACE
     - run: raco pkg update -i --no-setup htdp-lib htdp-doc htdp
-    - name: Install htdp-test (depends on htdp-lib)
-      run: raco pkg install --auto -i --skip-installed --no-setup htdp-test
-    - run: raco setup --check-pkg-deps --pkgs htdp-lib htdp-doc htdp-test
+    - name: Install htdp-test and htdp-drracket-test (depends on htdp-lib)
+      run: raco pkg install --auto -i --skip-installed --no-setup htdp-test htdp-drracket-test
+    - run: raco setup --check-pkg-deps --pkgs htdp-lib htdp-doc htdp-test htdp-drracket-test
     - name: Run tests
       run: xvfb-run raco test htdp-test
+    - name: Run DrRacket integration tests
+      run: xvfb-run raco test -p htdp-drracket-test

htdp-drracket-test/LICENSE

@@ -0,0 +1,10 @@
+This component of Racket is distributed under the Apache 2.0 and MIT
+licenses. The user can choose the license under which they will be
+using the software. There may be other licenses within the
+distribution with which the user must also comply.
+
+See the files
+  https://github.com/racket/racket/blob/master/racket/src/LICENSE-APACHE.txt
+and
+  https://github.com/racket/racket/blob/master/racket/src/LICENSE-MIT.txt
+for the full text of the licenses.

htdp-drracket-test/info.rkt

@@ -0,0 +1,35 @@
+#lang info
+
+#|
+This package contains HtDP tests that launch DrRacket and inspect the execution
+results. For example, language-test.rkt sets the language to each teaching language
+and runs TL expressions and check-expects. Similarly, module-lang-test.rkt directly
+verifies the output of test engine in DrRacket.
+
+Without working with DrRacket, it's rather difficult to fully set up everything
+and observe the expected behavior, such as image output, the interaction between
+printer configuration and test engine, or the right language bindings.
+See, e.g., racket/htdp@e6b79368c and racket/htdp@dc985b3cc for the missing setup.
+
+The infrastructure for this package is copied from Robby's drracket-test.
+Due to its dependency on DrRacket, this package is separated
+from the more self-contained htdp-test package.
+
+There may be some overlap between the tests in this package and
+those in drracket-test, but the primary goal of drracket-test is
+testing DrRacket while this package aims at testing HtDP.
+|#
+
+(define collection 'multi)
+(define deps '("base"
+               "htdp-lib"))
+(define build-deps '("at-exp-lib"
+                     "rackunit"
+                     "gui-lib"
+                     "drracket"))
+(define update-implies '("htdp-lib"))
+
+(define pkg-desc "extra tests for \"htdp\" that depend on DrRacket integration")
+
+(define license
+  '(Apache-2.0 OR MIT))