(module master-test-suite mzscheme (require (planet "test.ss" ("schematics" "schemeunit.plt" 2)) (planet "text-ui.ss" ("schematics" "schemeunit.plt" 2)) (prefix s2: "section-2-lump-embedding-tests.ss") (prefix s3-1: "section-3-natural-embedding-1-tests.ss") (prefix s3-2: "section-3-natural-embedding-2-tests.ss") (prefix s3-3: "section-3-natural-embedding-3-tests.ss") (prefix s5-poly: "section-5-polymorphism-tests.ss") (prefix s5-1: "section-5-exceptions-1-tests.ss") (prefix s5-2: "section-5-exceptions-2-tests.ss") (prefix s5-3: "section-5-exceptions-3-tests.ss")) (provide master-test-suite) (define master-test-suite (test-suite "All tests" s2:tests s3-1:tests s3-2:tests s3-3:tests s5-poly:tests s5-1:tests s5-2:tests s5-3:tests)) (test/text-ui master-test-suite))