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

author	Aina Niemetz <aina.niemetz@gmail.com>
	Wed, 10 Nov 2021 00:08:29 +0000 (16:08 -0800)
committer	GitHub <noreply@github.com>
	Wed, 10 Nov 2021 00:08:29 +0000 (00:08 +0000)
commit	eea329d3e061e1e0e98585f8b68c8db851b46513
tree	5663250588c9d106f93d070eea20e6c8f567e6d5	tree
parent	f826638031ae919a03bd48c2003eed82cea7279a	commit \| diff

Reorganize test/unit/api directory. (#7612)

This moves .cpp files to directory test/unit/api/cpp and python files in
test/python/unit/api to test/unit/api/python.

44 files changed:

test/CMakeLists.txt		diff \| blob \| history
test/python/CMakeLists.txt	[deleted file]	blob \| history
test/python/unit/api/__init__.py	[deleted file]	blob \| history
test/python/unit/api/test_datatype_api.py	[deleted file]	blob \| history
test/python/unit/api/test_grammar.py	[deleted file]	blob \| history
test/python/unit/api/test_op.py	[deleted file]	blob \| history
test/python/unit/api/test_result.py	[deleted file]	blob \| history
test/python/unit/api/test_solver.py	[deleted file]	blob \| history
test/python/unit/api/test_sort.py	[deleted file]	blob \| history
test/python/unit/api/test_term.py	[deleted file]	blob \| history
test/python/unit/api/test_to_python_obj.py	[deleted file]	blob \| history
test/unit/CMakeLists.txt		diff \| blob \| history
test/unit/api/CMakeLists.txt		diff \| blob \| history
test/unit/api/cpp/CMakeLists.txt	[new file with mode: 0644]	blob
test/unit/api/cpp/datatype_api_black.cpp	[new file with mode: 0644]	blob
test/unit/api/cpp/grammar_black.cpp	[new file with mode: 0644]	blob
test/unit/api/cpp/op_black.cpp	[new file with mode: 0644]	blob
test/unit/api/cpp/op_white.cpp	[new file with mode: 0644]	blob
test/unit/api/cpp/result_black.cpp	[new file with mode: 0644]	blob
test/unit/api/cpp/solver_black.cpp	[new file with mode: 0644]	blob
test/unit/api/cpp/solver_white.cpp	[new file with mode: 0644]	blob
test/unit/api/cpp/sort_black.cpp	[new file with mode: 0644]	blob
test/unit/api/cpp/term_black.cpp	[new file with mode: 0644]	blob
test/unit/api/cpp/term_white.cpp	[new file with mode: 0644]	blob
test/unit/api/datatype_api_black.cpp	[deleted file]	blob \| history
test/unit/api/grammar_black.cpp	[deleted file]	blob \| history
test/unit/api/op_black.cpp	[deleted file]	blob \| history
test/unit/api/op_white.cpp	[deleted file]	blob \| history
test/unit/api/python/CMakeLists.txt	[new file with mode: 0644]	blob
test/unit/api/python/__init__.py	[new file with mode: 0644]	blob
test/unit/api/python/test_datatype_api.py	[new file with mode: 0644]	blob
test/unit/api/python/test_grammar.py	[new file with mode: 0644]	blob
test/unit/api/python/test_op.py	[new file with mode: 0644]	blob
test/unit/api/python/test_result.py	[new file with mode: 0644]	blob
test/unit/api/python/test_solver.py	[new file with mode: 0644]	blob
test/unit/api/python/test_sort.py	[new file with mode: 0644]	blob
test/unit/api/python/test_term.py	[new file with mode: 0644]	blob
test/unit/api/python/test_to_python_obj.py	[new file with mode: 0644]	blob
test/unit/api/result_black.cpp	[deleted file]	blob \| history
test/unit/api/solver_black.cpp	[deleted file]	blob \| history
test/unit/api/solver_white.cpp	[deleted file]	blob \| history
test/unit/api/sort_black.cpp	[deleted file]	blob \| history
test/unit/api/term_black.cpp	[deleted file]	blob \| history
test/unit/api/term_white.cpp	[deleted file]	blob \| history

RSS Atom