test-all.scm

(load "test-check.scm")

(printf "==-tests\n")
(load "==-tests.scm")

(printf "symbolo-tests\n")
(load "symbolo-tests.scm")

(printf "numbero-tests\n")
(load "numbero-tests.scm")

(printf "symbolo-numbero-tests\n")
(load "symbolo-numbero-tests.scm")

(printf "disequality-tests\n")
(load "disequality-tests.scm")

(printf "absento-closure-tests\n")
(load "absento-closure-tests.scm")

(printf "absento-tests\n")
(load "absento-tests.scm")

;; (printf "test-infer\n")
;; (load "test-infer.scm")

(printf "test-simple-interp\n")
(load "test-simple-interp.scm")

;; (printf "test-quines\n")
;; (load "test-quines.scm")

(printf "test-numbers\n")
(load "numbers.scm")
(load "test-numbers.scm")