14 lines
300 B
Common Lisp
14 lines
300 B
Common Lisp
|
|
(in-package :kenzo-test)
|
|
|
|
(in-suite :kenzo)
|
|
|
|
(test check-kan
|
|
(cat:cat-init)
|
|
(let* ((k (cat:k-z-1))
|
|
(rslt '(1 10 100))
|
|
(hat (mapcar #'(lambda (i) (cat:face k i 3 rslt))
|
|
(cat:<a-b> 0 3))))
|
|
(dotimes (i 4)
|
|
(cat:check-kan k i 3 (remove (nth i hat) hat :test #'equal)))))
|