[plt-scheme] testing and the Module language

From: David Van Horn (dvanhorn at ccs.neu.edu)
Date: Fri Aug 29 18:06:14 EDT 2008

How do I generate test case reports for programs that use htdp/testing 
in the Module language?

#lang scheme
(require htdp/testing)
(check-expect true false)

Welcome to DrScheme, version [3m].
Language: Module; memory limit: 128 megabytes.
 > (generate-report)
This program should be tested.


Posted on the users mailing list.