try to understand travis

diff --git a/.travis.yml b/.travis.yml
index 45a7cb1535012caa3424cc6228e83cfef4ab7a73..afe716aecc4c4ff2d4f174d5c2c7c30627ebecfe 100644 (file)
--- 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)