Fixing the testcase bug
authorHamed <hamed.gorjiara@gmail.com>
Thu, 13 Jul 2017 21:38:03 +0000 (14:38 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Thu, 13 Jul 2017 21:38:03 +0000 (14:38 -0700)
commit78f6e7822b220424324842e73dcda7b5d8aa29ad
treeb4992e19fe6ada2f12f8cbf7309c4d1554fda8b4
parent769378ebb26e1c6b091f43620bc5a6346b24c6fb
Fixing the testcase bug
src/Backend/constraint.c
src/Backend/satencoder.c
src/Backend/satfuncencoder.c
src/Backend/satorderencoder.c
src/config.h