1 files changed, 0 insertions, 70 deletions
diff --git a/test/system/CVC4JavaTest.java b/test/system/CVC4JavaTest.java
deleted file mode 100644
index c38cfab3d..000000000
--- a/test/system/CVC4JavaTest.java
+++ /dev/null
@@ -1,70 +0,0 @@
-/*********************                                                        */
-/*! \file CVC4JavaTest.java
- ** \verbatim
- ** Top contributors (to current version):
- **   Morgan Deters
- ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2020 by the authors listed in the file AUTHORS
- ** in the top-level source directory) and their institutional affiliations.
- ** All rights reserved.  See the file COPYING in the top-level source
- ** directory for licensing information.\endverbatim
- **
- ** \brief [[ Add one-line brief description here ]]
- **
- ** [[ Add lengthier description here ]]
- ** \todo document this file
- **/
-
-import edu.nyu.acsys.CVC4.CVC4;
-
-import edu.nyu.acsys.CVC4.SmtEngine;
-import edu.nyu.acsys.CVC4.ExprManager;
-import edu.nyu.acsys.CVC4.Expr;
-import edu.nyu.acsys.CVC4.Type;
-import edu.nyu.acsys.CVC4.Kind;
-import edu.nyu.acsys.CVC4.Result;
-import edu.nyu.acsys.CVC4.Configuration;
-
-//import edu.nyu.acsys.CVC4.Exception;
-
-import edu.nyu.acsys.CVC4.Parser;
-import edu.nyu.acsys.CVC4.ParserBuilder;
-
-public class CVC4JavaTest {
-  public static void main(String[] args) {
-    try {
-      System.loadLibrary("cvc4jni");
-
-      //CVC4.getDebugChannel().on("current");
-
-      System.out.println(Configuration.about());
-
-      String[] tags = Configuration.getDebugTags();
-      System.out.print("available debug tags:");
-      for(int i = 0; i < tags.length; ++i) {
-        System.out.print(" " + tags[i]);
-      }
-      System.out.println();
-
-      ExprManager em = new ExprManager();
-      SmtEngine smt = new SmtEngine(em);
-
-      Type t = em.booleanType();
-      Expr a = em.mkVar("a", em.booleanType());
-      Expr b = em.mkVar("b", em.booleanType());
-      Expr e = new Expr(em.mkExpr(Kind.AND, a, b, new Expr(a).notExpr()));
-      System.out.println("==> " + e);
-
-      Result r = smt.checkSat(e);
-      boolean correct = r.isSat() == Result.Sat.UNSAT;
-
-      System.out.println(smt.getStatistics());
-
-      System.exit(correct ? 0 : 1);
-    } catch(Exception e) {
-      System.err.println(e);
-      System.exit(1);
-    }
-  }
-}
-