add data/test-genFindDiff.smt2
disable "cabal check" on Travis-CI