suzanne.soy/macrotypes
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

add occurrence and overloading to run-all-tests

Browse Source
This commit is contained in:
Stephen Chang 2015-10-22 17:12:11 -04:00
parent 12d73ee2a9
commit 4152db6575
1 changed files with 4 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
tapl/tests/run-all-tests.rkt
View File

@ -25,4 +25,7 @@
;; F_omega
(require "fomega-tests.rkt")
(require "fomega2-tests.rkt")
(require "fomega3-tests.rkt")
(require "fomega3-tests.rkt")
(require "stlc+occurrence-tests.rkt")
(require "stlc+overloading-tests.rkt")