projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4eca700) | patch
Add test coverage for almost everything from the Java API (#8723)
authorGereon Kremer <gkremer@cs.stanford.edu>
Tue, 10 May 2022 14:55:44 +0000 (07:55 -0700)
committerGitHub <noreply@github.com>
Tue, 10 May 2022 14:55:44 +0000 (14:55 +0000)
commit6007962d5e173477ba8850141e519b49c0659c57
tree51001eb0e4e45d9be9dcdd493f2c209833b1a8dftree
parent4eca7007a3f0b9be98daeef253ccfd145b65a33acommit | diff
Add test coverage for almost everything from the Java API  (#8723)

This PR adds tests for almost everything that is not yet covered by the java API tests.
src/api/java/io/github/cvc5/DatatypeDecl.java diff | blob | history
src/api/java/jni/solver.cpp diff | blob | history
test/unit/api/java/CMakeLists.txt diff | blob | history
test/unit/api/java/DatatypeTest.java diff | blob | history
test/unit/api/java/GrammarTest.java diff | blob | history
test/unit/api/java/OpTest.java diff | blob | history
test/unit/api/java/SolverTest.java diff | blob | history
test/unit/api/java/SortTest.java diff | blob | history
test/unit/api/java/UncoveredTest.cpp diff | blob | history