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);
+  }
+}