search

ucsd-progsys / liquid-fixpoint

Horn Clause Constraint Solving for Liquid Types
BSD 3-Clause "New" or "Revised" License
142 stars 61 forks source link

liquid-fixpoint-0.3.0.0 fails its test suite because of missing files #66

Closed peti closed 9 years ago

peti commented 9 years ago

Citing from http://hydra.cryp.to/build/875820/log/raw:

running tests
Running 1 test suites...
Test suite test: RUNNING...
test: tests/pos: getDirectoryContents: does not exist (No such file or directory)
Test suite test: FAIL
ranjitjhala commented 9 years ago

Oops! thats odd, will look into it, thanks for pointing out @peti

gridaphobe commented 9 years ago

Thanks for the report @peti, I never realized that our test files weren't included in the tgz :(

Just pushed a new version to hackage that should be fixed!