Adding a boolean for undefinedStatus
authorHamed <hamed.gorjiara@gmail.com>
Tue, 18 Jul 2017 23:14:45 +0000 (16:14 -0700)
committerHamed <hamed.gorjiara@gmail.com>
Tue, 18 Jul 2017 23:14:45 +0000 (16:14 -0700)
commit51284423bbf2892559139c683c7df54d4fdf5e29
tree0f3feeb3f7d0bf061bd26e51eb4159efa4ff3f04
parenteb8bfa610f09bc0c4ad37eb0ee2e6685ea7e6507
Adding a boolean for undefinedStatus
src/AST/boolean.c
src/AST/boolean.h
src/Test/buildconstraintstest.c
src/Test/elemequalityunsattest.c
src/Test/funcencodingtest.c
src/Test/ltelemconsttest.c
src/csolver.c
src/csolver.h