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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Wed, 17 Mar 2021 18:07:48 +0000 (11:07 -0700)
committer	GitHub <noreply@github.com>
	Wed, 17 Mar 2021 18:07:48 +0000 (18:07 +0000)
commit	bbf9eee55db6851c0923252cdda8946030c3c75a
tree	52d3f04010f61784a3494e5de27d6e70c20b9abb	tree
parent	fe72d5a3fce499092c842b48df997eb0aa54fc05	commit \| diff

Rename test/unit/expr to test/unit/node. (#6156)

This is in preparation for renaming src/expr to src/node.

33 files changed:

test/unit/CMakeLists.txt		diff \| blob \| history
test/unit/expr/CMakeLists.txt	[deleted file]	blob \| history
test/unit/expr/attribute_black.cpp	[deleted file]	blob \| history
test/unit/expr/attribute_white.cpp	[deleted file]	blob \| history
test/unit/expr/kind_black.cpp	[deleted file]	blob \| history
test/unit/expr/kind_map_black.cpp	[deleted file]	blob \| history
test/unit/expr/node_algorithm_black.cpp	[deleted file]	blob \| history
test/unit/expr/node_black.cpp	[deleted file]	blob \| history
test/unit/expr/node_builder_black.cpp	[deleted file]	blob \| history
test/unit/expr/node_manager_black.cpp	[deleted file]	blob \| history
test/unit/expr/node_manager_white.cpp	[deleted file]	blob \| history
test/unit/expr/node_self_iterator_black.cpp	[deleted file]	blob \| history
test/unit/expr/node_traversal_black.cpp	[deleted file]	blob \| history
test/unit/expr/node_white.cpp	[deleted file]	blob \| history
test/unit/expr/symbol_table_black.cpp	[deleted file]	blob \| history
test/unit/expr/type_cardinality_black.cpp	[deleted file]	blob \| history
test/unit/expr/type_node_white.cpp	[deleted file]	blob \| history
test/unit/node/CMakeLists.txt	[new file with mode: 0644]	blob
test/unit/node/attribute_black.cpp	[new file with mode: 0644]	blob
test/unit/node/attribute_white.cpp	[new file with mode: 0644]	blob
test/unit/node/kind_black.cpp	[new file with mode: 0644]	blob
test/unit/node/kind_map_black.cpp	[new file with mode: 0644]	blob
test/unit/node/node_algorithm_black.cpp	[new file with mode: 0644]	blob
test/unit/node/node_black.cpp	[new file with mode: 0644]	blob
test/unit/node/node_builder_black.cpp	[new file with mode: 0644]	blob
test/unit/node/node_manager_black.cpp	[new file with mode: 0644]	blob
test/unit/node/node_manager_white.cpp	[new file with mode: 0644]	blob
test/unit/node/node_self_iterator_black.cpp	[new file with mode: 0644]	blob
test/unit/node/node_traversal_black.cpp	[new file with mode: 0644]	blob
test/unit/node/node_white.cpp	[new file with mode: 0644]	blob
test/unit/node/symbol_table_black.cpp	[new file with mode: 0644]	blob
test/unit/node/type_cardinality_black.cpp	[new file with mode: 0644]	blob
test/unit/node/type_node_white.cpp	[new file with mode: 0644]	blob

RSS Atom