Yes, the How To Design Programs (and possibly DeinProgramm ) tool relies on the Test Engine tool.
If you have a moment to do so, I'd encourage filing this consequence as an issue on GitHub. -- You received this message because you are subscribed to the Google Groups "Racket Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to racket-users+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/racket-users/02e1397f-7e64-41a2-97a5-81ef7779a207%40googlegroups.com.