From a7caadcbb10016df132afc361b7d2b2825afc5a8 Mon Sep 17 00:00:00 2001
From: Andrew Kent <andmkent@iu.edu>
Date: Thu, 30 Mar 2017 19:56:10 -0400
Subject: [PATCH] update travis to included contracted unit tests

---
 .travis.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.travis.yml b/.travis.yml
index 83a6e0b9..5ee64aac 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -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: