projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b8504ef) | patch
Enable CI for Junit tests (#7436)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Wed, 3 Nov 2021 21:32:10 +0000 (16:32 -0500)
committerGitHub <noreply@github.com>
Wed, 3 Nov 2021 21:32:10 +0000 (21:32 +0000)
commit690a3926569a29217df5000cfb673cc407ada356
treed7147990f2e5f8b92244ec1fbb148b6bcd5cb1c5tree
parentb8504ef92ef609ddeaf093299811aa8d6d6396adcommit | diff
Enable CI for Junit tests (#7436)

This PR enables CI for java tests by adding --java-bindings to ci.yml.
It also replaces the unreliable finalize method and instead uses AutoCloseable and explicit close method to clean up dynamic memory allocated by java native interface.
The PR fixes compile errors for SolverTest.java and runtime errors for Solver.defineFun.
57 files changed:
.github/workflows/ci.yml diff | blob | history
examples/api/java/BitVectors.java diff | blob | history
examples/api/java/BitVectorsAndArrays.java diff | blob | history
examples/api/java/Combination.java diff | blob | history
examples/api/java/Datatypes.java diff | blob | history
examples/api/java/Exceptions.java diff | blob | history
examples/api/java/Extract.java diff | blob | history
examples/api/java/FloatingPointArith.java diff | blob | history
examples/api/java/HelloWorld.java diff | blob | history
examples/api/java/LinearArith.java diff | blob | history
examples/api/java/QuickStart.java diff | blob | history
examples/api/java/Relations.java diff | blob | history
examples/api/java/Sequences.java diff | blob | history
examples/api/java/Sets.java diff | blob | history
examples/api/java/Statistics.java diff | blob | history
examples/api/java/Strings.java diff | blob | history
examples/api/java/SygusFun.java diff | blob | history
examples/api/java/SygusGrammar.java diff | blob | history
examples/api/java/SygusInv.java diff | blob | history
examples/api/java/Transcendentals.java diff | blob | history
examples/api/java/UnsatCores.java diff | blob | history
src/api/java/io/github/cvc5/api/AbstractPointer.java diff | blob | history
src/api/java/io/github/cvc5/api/Datatype.java diff | blob | history
src/api/java/io/github/cvc5/api/DatatypeConstructor.java diff | blob | history
src/api/java/io/github/cvc5/api/DatatypeConstructorDecl.java diff | blob | history
src/api/java/io/github/cvc5/api/DatatypeDecl.java diff | blob | history
src/api/java/io/github/cvc5/api/DatatypeSelector.java diff | blob | history
src/api/java/io/github/cvc5/api/Grammar.java diff | blob | history
src/api/java/io/github/cvc5/api/Op.java diff | blob | history
src/api/java/io/github/cvc5/api/OptionInfo.java diff | blob | history
src/api/java/io/github/cvc5/api/Result.java diff | blob | history
src/api/java/io/github/cvc5/api/Solver.java diff | blob | history
src/api/java/io/github/cvc5/api/Sort.java diff | blob | history
src/api/java/io/github/cvc5/api/Stat.java diff | blob | history
src/api/java/io/github/cvc5/api/Statistics.java diff | blob | history
src/api/java/io/github/cvc5/api/Term.java diff | blob | history
src/api/java/jni/datatype.cpp diff | blob | history
src/api/java/jni/datatype_constructor.cpp diff | blob | history
src/api/java/jni/datatype_constructor_decl.cpp diff | blob | history
src/api/java/jni/datatype_decl.cpp diff | blob | history
src/api/java/jni/datatype_selector.cpp diff | blob | history
src/api/java/jni/grammar.cpp diff | blob | history
src/api/java/jni/op.cpp diff | blob | history
src/api/java/jni/option_info.cpp diff | blob | history
src/api/java/jni/result.cpp diff | blob | history
src/api/java/jni/solver.cpp diff | blob | history
src/api/java/jni/sort.cpp diff | blob | history
src/api/java/jni/stat.cpp diff | blob | history
src/api/java/jni/statistics.cpp diff | blob | history
src/api/java/jni/term.cpp 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/ResultTest.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/TermTest.java diff | blob | history