git.libre-soc.org Git - cvc5.git/commit

author	Morgan Deters <mdeters@gmail.com>
	Sat, 16 Apr 2011 00:10:57 +0000 (00:10 +0000)
committer	Morgan Deters <mdeters@gmail.com>
	Sat, 16 Apr 2011 00:10:57 +0000 (00:10 +0000)
commit	718ea1851ab2b79816ed6c858e7f543556402084
tree	378aa33ad6fd769372b045ed143a9579fd04a9bf	tree
parent	26d3bdca35e0d6c656c53e15edcbc73f09a05c8c	commit \| diff

unit test fixes for new NodeManager constructor (related to previous two trunk commits)

19 files changed:

test/unit/expr/attribute_black.h		diff \| blob \| history
test/unit/expr/attribute_white.h		diff \| blob \| history
test/unit/expr/node_black.h		diff \| blob \| history
test/unit/expr/node_builder_black.h		diff \| blob \| history
test/unit/expr/node_manager_black.h		diff \| blob \| history
test/unit/expr/node_manager_white.h		diff \| blob \| history
test/unit/expr/node_self_iterator_black.h		diff \| blob \| history
test/unit/expr/node_white.h		diff \| blob \| history
test/unit/parser/parser_black.h		diff \| blob \| history
test/unit/parser/parser_builder_black.h		diff \| blob \| history
test/unit/prop/cnf_stream_black.h		diff \| blob \| history
test/unit/theory/shared_term_manager_black.h		diff \| blob \| history
test/unit/theory/stacking_map_black.h		diff \| blob \| history
test/unit/theory/theory_arith_white.h		diff \| blob \| history
test/unit/theory/theory_black.h		diff \| blob \| history
test/unit/theory/theory_engine_white.h		diff \| blob \| history
test/unit/theory/theory_uf_tim_white.h		diff \| blob \| history
test/unit/theory/union_find_black.h		diff \| blob \| history
test/unit/util/congruence_closure_white.h		diff \| blob \| history