Rename system tests to api tests and remove obsolete Java test. (#5066)

1 files changed, 32 insertions, 0 deletions

diff --git a/test/api/boilerplate.cpp b/test/api/boilerplate.cpp
new file mode 100644
index 000000000..315cec7bf
--- /dev/null
+++ b/test/api/boilerplate.cpp
@@ -0,0 +1,32 @@
+/*********************                                                        */
+/*! \file boilerplate.cpp
+ ** \verbatim
+ ** Top contributors (to current version):
+ **   Morgan Deters, Aina Niemetz
+ ** 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 A simple start-up/tear-down test for CVC4.
+ **
+ ** This simple test just makes sure that the public interface is
+ ** minimally functional.  It is useful as a template to use for other
+ ** system tests.
+ **/
+
+#include <iostream>
+#include <sstream>
+
+#include "api/cvc4cpp.h"
+
+using namespace CVC4::api;
+using namespace std;
+
+int main() {
+  Solver slv;
+  Result r = slv.checkEntailed(slv.mkBoolean(true));
+  return r.isEntailed() ? 0 : 1;
+}
+