From 4152db6575cf40364bcfa75b1be6a34a0f6b23b3 Mon Sep 17 00:00:00 2001 From: Stephen Chang Date: Thu, 22 Oct 2015 17:12:11 -0400 Subject: [PATCH] add occurrence and overloading to run-all-tests --- tapl/tests/run-all-tests.rkt | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/tapl/tests/run-all-tests.rkt b/tapl/tests/run-all-tests.rkt index 7d83b01..f3a68ba 100644 --- a/tapl/tests/run-all-tests.rkt +++ b/tapl/tests/run-all-tests.rkt @@ -25,4 +25,7 @@ ;; F_omega (require "fomega-tests.rkt") (require "fomega2-tests.rkt") -(require "fomega3-tests.rkt") \ No newline at end of file +(require "fomega3-tests.rkt") + +(require "stlc+occurrence-tests.rkt") +(require "stlc+overloading-tests.rkt")