search

sambayless / monosat

MonoSAT - An SMT solver for Monotonic Theories
MIT License
106 stars 29 forks source link

read_pb test fails because no-pb-binary-search flag is unknown #5

Closed Hirse closed 6 years ago

Hirse commented 6 years ago

I just built the latest commit and ran the tests. The first one fails: image

https://github.com/sambayless/monosat/blob/6444d6be0c701bd312bfde4817584b5f7c64cf0d/tests/python/read_pb.py#L15

sambayless commented 6 years ago

Good catch! The option "-no-pb-binary-search" no longer exists. I will upload a fix for this test case shortly.