projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc808da) | patch
Add API unit tests for options (#8339)
authorGereon Kremer <gkremer@cs.stanford.edu>
Sat, 26 Mar 2022 00:42:26 +0000 (01:42 +0100)
committerGitHub <noreply@github.com>
Sat, 26 Mar 2022 00:42:26 +0000 (00:42 +0000)
commit129a79d959448bc32619db85f86542d9e05605e4
tree7653b2e510fbba368c7de1d32e4ec6ff80c0706btree
parentcc808da53dc0644232576c5c1ba0ced03610b7fbcommit | diff
Add API unit tests for options (#8339)

This PR adds some unit tests that cover some remaining cases of getOptionInfo() and getDriverOptions().
It also adds some fixes to the java bindings of these methods.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/java/io/github/cvc5/api/OptionInfo.java diff | blob | history
src/api/java/jni/option_info.cpp diff | blob | history
test/unit/api/cpp/solver_black.cpp diff | blob | history
test/unit/api/java/SolverTest.java diff | blob | history