28 lines
802 B
Racket
28 lines
802 B
Racket
#lang info
|
|
|
|
(define scribblings
|
|
'(["scribblings/turnstile.scrbl" (multi-page)]))
|
|
|
|
(define compile-omit-paths
|
|
'("examples/rosette"
|
|
"examples/fomega3.rkt"
|
|
"examples/tests"
|
|
"rackunit-typechecking.rkt"
|
|
"examples/trivial.rkt")) ; needs typed racket
|
|
|
|
(define test-include-paths
|
|
'("examples/tests/mlish")) ; to include .mlish files
|
|
|
|
(define test-omit-paths
|
|
'("examples/rosette"
|
|
"examples/tests/rosette" ; needs rosette
|
|
"examples/tests/trivial-test.rkt" ; needs typed/racket
|
|
"examples/tests/mlish/sweet-map.rkt" ; needs sweet-exp
|
|
"examples/fomega3.rkt"
|
|
"examples/tests/fomega3-tests.rkt"
|
|
"examples/tests/mlish/bg/README.md"))
|
|
|
|
(define test-timeouts
|
|
'(("examples/tests/mlish/generic.mlish" 300)
|
|
("examples/tests/tlb-infer-tests.rkt" 1800)))
|