diff --git a/.travis.yml b/.travis.yml
index 45a7cb153..afe716aec 100644
--- a/.travis.yml
+++ b/.travis.yml
@@ -13,4 +13,5 @@ script:
   - ./configure --enable-debug --disable-flto
   - make
   - make test
+  - ./testbound -p ./testdata/rpz_respip.rpl
   - (cd testdata/clang-analysis.tdir; bash clang-analysis.test)