quit testing readback

Author: xieyuheng

examples/ackermann.lisp

@@ -9,10 +9,6 @@
       (ackermann (sub1 m) one)
       (ackermann (sub1 m) (ackermann m (sub1 n))))))
 
-;; TODO fail:
-
-;; ackermann
-
 (assert-equal (ackermann zero zero) one)
 (assert-equal (ackermann one zero) two)
 (assert-equal (ackermann zero one) two)

examples/combinators.test.lisp

@@ -3,8 +3,6 @@
 
 (import factorial-half factorial "factorial-half.lisp")
 
-factorial-half
-
 (assert-equal (factorial zero) one)
 (assert-equal (factorial one) one)
 (assert-equal (factorial two) two)

examples/combinators.test.lisp.out

@@ -1 +0,0 @@
-factorial-half

examples/factorial-half.test.lisp

@@ -5,10 +5,6 @@
 
 (import factorial-wrap factorial "factorial-wrap.lisp")
 
-;; test readback of functions
-
-factorial-wrap
-
 ;; test equivalence of functions
 
 (assert-equal

examples/factorial-half.test.lisp.out

@@ -1 +0,0 @@
-factorial-wrap

examples/factorial-wrap.test.lisp

@@ -18,7 +18,3 @@
 (assert-equal factorial (lambda (y) (factorial y)))
 (assert-equal factorial (lambda (x) (factorial x)))
 (assert-equal (lambda (x) (factorial x)) (lambda (y) (factorial y)))
-
-;; test readback of recursive functions
-
-factorial

examples/factorial-wrap.test.lisp.out

@@ -1 +0,0 @@
-factorial

examples/factorial.test.lisp

@@ -7,9 +7,3 @@
 (assert-equal (fibonacci three) two)
 (assert-equal (fibonacci four) three)
 (assert-equal (fibonacci five) five)
-
-;; test readback of recursive functions
-
-;; TODO fail:
-
-;; fibonacci