add call to 'test-results'

2011-10-11 16:32:12 -05:00 · 2011-10-11 16:32:12 -05:00 · a43973157b
commit a43973157b
parent 8cdbd3285b
1 changed files with 4 additions and 1 deletions
--- a/collects/redex/examples/cont-mark-transform/all-test.rkt
+++ b/collects/redex/examples/cont-mark-transform/all-test.rkt
@ -2,4 +2,7 @@

 (require "TL-semantics-test.rkt"
         "SL-semantics-test.rkt"
-         "CMT-test.rkt")
+         "CMT-test.rkt"
+         redex/reduction-semantics)
+
+(test-results)