Fix test cases
authorbdemsky <bdemsky@uci.edu>
Sun, 3 Sep 2017 01:15:00 +0000 (18:15 -0700)
committerbdemsky <bdemsky@uci.edu>
Sun, 3 Sep 2017 01:15:00 +0000 (18:15 -0700)
commitb6695ca5b5253125515ad1326efc3e6b793839a8
tree0032799f081b15305ddf0bc1c13dfebb48c24dfc
parent6b81425e00f5a8e1e563ff268cca3c9bce355bcb
Fix test cases
src/Test/buildconstraintstest.cc [changed mode: 0644->0755]
src/Test/cnftest.cc [changed mode: 0644->0755]
src/Test/elemequalsattest.cc [changed mode: 0644->0755]
src/Test/elemequalunsattest.cc [changed mode: 0644->0755]
src/Test/funcencodingtest.cc [changed mode: 0644->0755]
src/Test/logicopstest.cc [changed mode: 0644->0755]
src/Test/ltelemconsttest.cc [changed mode: 0644->0755]
src/Test/ordergraphtest.cc [changed mode: 0644->0755]
src/Test/ordertest.cc [changed mode: 0644->0755]
src/Test/tablefuncencodetest.cc [changed mode: 0644->0755]
src/Test/tablepredicencodetest.cc [changed mode: 0644->0755]