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

author	Gereon Kremer <gkremer@cs.stanford.edu>
	Mon, 2 May 2022 21:08:58 +0000 (14:08 -0700)
committer	GitHub <noreply@github.com>
	Mon, 2 May 2022 21:08:58 +0000 (21:08 +0000)
commit	79cf93488f06d8e141463146afc8fcad0cb905f1
tree	8e834a3f63584c0c88b03a1c29d426b5e1d3b1f6	tree
parent	9c176f263b977cf3e3b1beaf8fea971b7a159a5d	commit \| diff

Add missing tests for some corners of the API (#8688)

This PR adds a bunch of unit tests for some not yet covered corners of the API.

15 files changed:

src/api/cpp/cvc5.cpp		diff \| blob \| history
src/api/python/cvc5.pxi		diff \| blob \| history
test/unit/api/cpp/datatype_api_black.cpp		diff \| blob \| history
test/unit/api/cpp/grammar_black.cpp		diff \| blob \| history
test/unit/api/cpp/op_black.cpp		diff \| blob \| history
test/unit/api/cpp/solver_black.cpp		diff \| blob \| history
test/unit/api/cpp/solver_white.cpp		diff \| blob \| history
test/unit/api/cpp/synth_result_black.cpp		diff \| blob \| history
test/unit/api/cpp/term_black.cpp		diff \| blob \| history
test/unit/api/java/OpTest.java		diff \| blob \| history
test/unit/api/java/UncoveredTest.cpp		diff \| blob \| history
test/unit/api/python/test_op.py		diff \| blob \| history
test/unit/api/python/test_solver.py		diff \| blob \| history
test/unit/api/python/test_term.py		diff \| blob \| history
test/unit/api/python/test_uncovered.cpp		diff \| blob \| history