bug fixes for cloning and encodinggraph
authorHamed Gorjiara <hgorjiar@uci.edu>
Mon, 30 Apr 2018 00:47:17 +0000 (17:47 -0700)
committerHamed Gorjiara <hgorjiar@uci.edu>
Mon, 30 Apr 2018 00:47:17 +0000 (17:47 -0700)
commit835bbfff70365c1b2116dec6f82b9f6e9f1806dd
tree587041d8ba3f5659cc6e8a4c99c94b8432415029
parentab3148a0a14a748cb589829029ed0bd40788f972
bug fixes for cloning and encodinggraph
src/AST/boolean.cc
src/AST/element.cc
src/ASTAnalyses/Encoding/encodinggraph.cc
src/Test/clonetest.cc [new file with mode: 0644]
src/Test/deserializersolvetest.cc