diff --git a/test/cl-space-efhm-test.lisp b/test/cl-space-efhm-test.lisp index 91bbb85..7f736f0 100644 --- a/test/cl-space-efhm-test.lisp +++ b/test/cl-space-efhm-test.lisp @@ -266,6 +266,7 @@ (funcall g (cat:cmbn 3 2 (cat:abar 1 'a 2 'b))))) +#| (test cs-pre-left-hmeq-right-reduction (cat:cat-init) (let ((rdct (cat:cs-pre-left-hmeq-right-reduction (cat:k-z-1))) @@ -312,7 +313,7 @@ (setf cat:*tc* (cat:cmbn (+ 4 abar-degr) 1 gnrt)) (setf cat:*bc* (cat:cmbn abar-degr 1 abar)) (check-rdct)))))) - +|# (test cs-left-hmeq-right-reduction (cat:cat-init)