Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
25 lines (21 sloc) 702 Bytes
#lang eopl
(require rackunit)
(require rackunit/text-ui)
(require (only-in "tests-inference.rkt" inference-tests))
(require (only-in "tests-prettyprint-exp.rkt" prettyprinter-tests))
(require (only-in "tests-unification.rkt" unification-tests))
(require (only-in "tests-interp.rkt" interp-tests))
(require (only-in "tests-prettyprint-type.rkt" tests-prettyprint-type))
(require (only-in "tests-prettyprint-expval.rkt" tests-prettyprint-expval))
(define full-spec
(make-test-suite
"All tests"
(list
inference-tests
prettyprinter-tests
unification-tests
interp-tests
tests-prettyprint-type
tests-prettyprint-expval
)))
(run-tests full-spec 'normal)
You can’t perform that action at this time.