omit dep-tests from tests
This commit is contained in:
parent
eae7e14c44
commit
7c841dc750
|
@ -15,6 +15,7 @@
|
|||
|
||||
(define test-omit-paths
|
||||
'("examples/rosette"
|
||||
"examples/tests/dep-tests.rkt"
|
||||
"examples/tests/rosette" ; needs rosette
|
||||
"examples/tests/trivial-test.rkt" ; needs typed/racket
|
||||
"examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp
|
||||
|
|
Loading…
Reference in New Issue
Block a user