update travis to included contracted unit tests

This commit is contained in:
Andrew Kent 2017-03-30 19:56:10 -04:00
parent 6a0dc61102
commit a7caadcbb1

View File

@ -27,6 +27,9 @@ script:
- raco setup -j 1 math
- racket -l typed-racket-test -- --math
- racket -l typed-racket-test/test-docs-complete
- echo ';; please rebuild me' >> typed-racket-lib/typed-racket/utils/utils.rkt
- PLT_TR_CONTRACTS=1 raco setup -D typed-racket && raco setup -D typed && raco setup -D typed-racket-test
- racket -l typed-racket-test -- --unit
- echo "done"
after_script: