search

ekmett / ersatz

A monad for interfacing with external SAT solvers
Other
62 stars 15 forks source link

Fix tests when building with stack #24

Closed RyanGlScott closed 7 years ago

RyanGlScott commented 7 years ago

Currently, the doctests fail since it can't find the directory that stack puts autogen'd files in.

This would allow ersatz's tests to be put on Stackage.

RyanGlScott commented 7 years ago

Odd, the tests were failing on Travis since it didn't install minisat... In any case, after installing minisat, things look good to go.