Fixing some bugs ...
authorHamed <hamed.gorjiara@gmail.com>
Sat, 5 Aug 2017 20:16:10 +0000 (13:16 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Sat, 5 Aug 2017 20:16:10 +0000 (13:16 -0700)
commitc12192d653bb50ff7890aa395af19f34b85cde2b
tree36435317d3d11ad34b2cfa8c972ef27e7dd0028c
parent370410b6c810e42b81df32b718b86eb3d5bd4d50
Fixing some bugs ...
src/Backend/satfunctableencoder.c
src/Backend/satorderencoder.c
src/Backend/sattranslator.c
src/Test/tablefuncencodetest.c