projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b59deea) | patch
Add Result.java to the java API (#6385)
authormudathirmahgoub <mudathirmahgoub@gmail.com>
Fri, 14 May 2021 01:15:21 +0000 (20:15 -0500)
committerGitHub <noreply@github.com>
Fri, 14 May 2021 01:15:21 +0000 (01:15 +0000)
commitce851ed5aea5ee4bd36ffbba9f86052025434126
tree941e643da9a752e5dd32def0424085a00fa34cb4tree
parentb59deea057513448d98f54629c78a38a81f99b27commit | diff
Add Result.java to the java API (#6385)

This PR adds Result.java ResultTest.java and cvc5_Result.cpp to the java api.
src/api/java/cvc5/Result.java [new file with mode: 0644] blob
src/api/java/jni/cvc5_Result.cpp [new file with mode: 0644] blob
test/unit/api/java/cvc5/ResultTest.java [new file with mode: 0644] blob