1 /********************* */
2 /*! \file HelloWorld.java
4 ** Top contributors (to current version):
6 ** This file is part of the CVC4 project.
7 ** Copyright (c) 2009-2019 by the authors listed in the file AUTHORS
8 ** in the top-level source directory) and their institutional affiliations.
9 ** All rights reserved. See the file COPYING in the top-level source
10 ** directory for licensing information.\endverbatim
12 ** \brief [[ Add one-line brief description here ]]
14 ** [[ Add lengthier description here ]]
15 ** \todo document this file
18 import static org
.junit
.Assert
.assertEquals
;
19 import org
.junit
.Before
;
20 import org
.junit
.Test
;
22 import edu
.nyu
.acsys
.CVC4
.*;
24 public class HelloWorld
{
26 System
.loadLibrary("cvc4jni");
32 public void initialize() {
33 em
= new ExprManager();
34 smt
= new SmtEngine(em
);
38 public void evaluatesExpression() {
39 Expr helloworld
= em
.mkVar("Hello World!", em
.booleanType());
40 Result
.Validity expect
= Result
.Validity
.INVALID
;
41 Result
.Validity actual
= smt
.query(helloworld
).isValid();
42 assertEquals(actual
, expect
);