| From: Robby Findler (robby at eecs.northwestern.edu) Date: Mon Nov 28 09:07:30 EST 2011 |
|
On Mon, Nov 28, 2011 at 1:30 AM, Michael Sperber <sperber at deinprogramm.de> wrote: > Some tests (especially check-property-based tests) are expensive, and > you don't always want to run them - especially with world/universe-based > code. Is there a way to have that option only with the student > languages? The option currently affects only the student languages, I believe. Robby
| Posted on the dev mailing list. |
|
![[logo]](/logo.png){kind=logo}