projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9dc2d55) | patch
Add some missing API tests (#8669)
authorGereon Kremer <gkremer@cs.stanford.edu>
Fri, 29 Apr 2022 00:47:10 +0000 (17:47 -0700)
committerGitHub <noreply@github.com>
Fri, 29 Apr 2022 00:47:10 +0000 (00:47 +0000)
commit13d891a718e291ec8ea908c7be2367b7d5c8391a
tree1bc6de5065381aab3abf46ee8d1d72c29aeafa0etree
parent9dc2d55ce20f4b69b651ac75e28d3de0704b3520commit | diff
Add some missing API tests (#8669)

This PR adds a couple of simple API tests for parts of the API that are not covered yet.
test/unit/api/cpp/op_black.cpp diff | blob | history
test/unit/api/cpp/result_black.cpp diff | blob | history
test/unit/api/cpp/solver_black.cpp diff | blob | history
test/unit/api/cpp/sort_black.cpp diff | blob | history
test/unit/api/cpp/synth_result_black.cpp diff | blob | history
test/unit/api/java/OpTest.java diff | blob | history
test/unit/api/java/ResultTest.java diff | blob | history
test/unit/api/java/SynthResultTest.java diff | blob | history
test/unit/api/python/test_op.py diff | blob | history
test/unit/api/python/test_result.py diff | blob | history
test/unit/api/python/test_synth_result.py diff | blob | history