Fixing bugs + adding descriptions to test cases
authorHamed <hamed.gorjiara@gmail.com>
Thu, 20 Jul 2017 19:21:19 +0000 (12:21 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Thu, 20 Jul 2017 19:21:19 +0000 (12:21 -0700)
commit039d671a9982e507c509a5540a357c7e7938c7ed
treeefc2161b86bceecbf2711db612125f8ada9b16e3
parentdeb51959f6d6c404832bc332c54882fcd3d8c454
Fixing bugs + adding descriptions to test cases
src/Backend/satfunctableencoder.c
src/Test/buildconstraintstest.c
src/Test/elemequalityunsattest.c
src/Test/funcencodingtest.c
src/Test/logicopstest.c
src/Test/ltelemconsttest.c
src/Test/ordertest.c