diff options
author | Pat Hawks <pat@pathawks.com> | 2017-08-24 17:31:09 -0500 |
---|---|---|
committer | Pat Hawks <pat@pathawks.com> | 2017-08-24 17:32:56 -0500 |
commit | 96b4329d58e7d13982e9fdcf458ab98ad0b6c07a (patch) | |
tree | 5db222f7375dad008138069abf21b82c81fc07c6 /test/java/HelloWorld.java | |
parent | 27f0116e05c7448c14ba2527d1269806d32dd923 (diff) |
Test Java API on CI
Diffstat (limited to 'test/java/HelloWorld.java')
-rw-r--r-- | test/java/HelloWorld.java | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/test/java/HelloWorld.java b/test/java/HelloWorld.java new file mode 100644 index 000000000..735f947e6 --- /dev/null +++ b/test/java/HelloWorld.java @@ -0,0 +1,27 @@ +import static org.junit.Assert.assertEquals; +import org.junit.Before; +import org.junit.Test; + +import edu.nyu.acsys.CVC4.*; + +public class HelloWorld { + static { + System.loadLibrary("cvc4jni"); + } + ExprManager em; + SmtEngine smt; + + @Before + public void initialize() { + em = new ExprManager(); + smt = new SmtEngine(em); + } + + @Test + public void evaluatesExpression() { + Expr helloworld = em.mkVar("Hello World!", em.booleanType()); + Result.Validity expect = Result.Validity.INVALID; + Result.Validity actual = smt.query(helloworld).isValid(); + assertEquals(actual, expect); + } +} |