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

rearrange test script to avoid parameter conflicts

Browse Source
This commit is contained in:
Stephen Chang 2016-10-13 21:46:31 -04:00
parent 98568ceb99
commit 34b149e248
1 changed files with 6 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
turnstile/examples/tests/run-all-tests.rkt
View File

@ -22,12 +22,6 @@
(require "fsub-tests.rkt") ; sysf + reco-sub
;; F_omega
(require "fomega-tests.rkt")
(require "fomega2-tests.rkt")
(require "fomega3-tests.rkt")
(require "fomega-no-reuse-tests.rkt")
;; these are not ported to turnstile yet
;; see macrotypes/examples/tests/run-all-tests.rkt
;(require macrotypes/examples/tests/stlc+occurrence-tests)
@ -44,5 +38,11 @@
(require "stlc+union.rkt")
(require "stlc+union+case.rkt")
;; F_omega
(require "fomega-tests.rkt")
(require "fomega2-tests.rkt")
(require "fomega3-tests.rkt")
(require "fomega-no-reuse-tests.rkt")
; don't run this file for testing:
(module test racket/base)