GCC Code Coverage Report
Directory: . Exec Total Coverage
File: test/api/boilerplate.cpp Lines: 5 5 100.0 %
Date: 2021-03-22 Branches: 7 14 50.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file boilerplate.cpp
3
 ** \verbatim
4
 ** Top contributors (to current version):
5
 **   Andres Noetzli, Morgan Deters
6
 ** This file is part of the CVC4 project.
7
 ** Copyright (c) 2009-2021 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
11
 **
12
 ** \brief A simple start-up/tear-down test for CVC4.
13
 **
14
 ** This simple test just makes sure that the public interface is
15
 ** minimally functional.  It is useful as a template to use for other
16
 ** system tests.
17
 **/
18
19
#include <iostream>
20
#include <sstream>
21
22
#include "api/cvc4cpp.h"
23
24
using namespace CVC4::api;
25
using namespace std;
26
27
1
int main() {
28
2
  Solver slv;
29
2
  Result r = slv.checkEntailed(slv.mkBoolean(true));
30
1
  return r.isEntailed() ? 0 : 1;
31
3
}
32