test: fix Travis.

diff --git a/.travis.yml b/.travis.yml
index b2e101fb419e464f7142e0618716775877a96752..fea7d808bc762f2eced71409c3edf8ed544ff84c 100644 (file)
--- a/.travis.yml
+++ b/.travis.yml
@@ -20,5 +20,6 @@ install:
   - (git clone https://github.com/YosysHQ/SymbiYosys && cd SymbiYosys && make PREFIX=$HOME/.local install)
   - if ! yices -V; then (git clone https://github.com/SRI-CSL/yices2.git && cd yices2 && autoconf && ./configure --prefix=$HOME/.local && make && make install); fi
 script:
+  - python setup.py develop
   - coverage run -m unittest discover
   - codecov