(module run-tests mzscheme (require (planet "test.ss" ("schematics" "schemeunit.plt" 2))) (require (planet "text-ui.ss" ("schematics" "schemeunit.plt" 2))) (require "all-proxy-tests.ss") (test/text-ui all-proxy-tests) )