GCC Code Coverage Report
Directory: . Exec Total Coverage
File: test/api/two_solvers.cpp Lines: 7 7 100.0 %
Date: 2021-03-23 Branches: 12 24 50.0 %

Line Exec Source
1
/*********************                                                        */
2
/*! \file two_solvers.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 test of multiple SmtEngines
13
 **
14
 ** A simple test of multiple SmtEngines.
15
 **/
16
17
#include <iostream>
18
#include <sstream>
19
20
#include "api/cvc4cpp.h"
21
22
using namespace CVC4::api;
23
using namespace std;
24
25
1
int main() {
26
2
  Solver s1;
27
2
  Solver s2;
28
2
  Result r = s1.checkEntailed(s1.mkBoolean(true));
29
2
  Result r2 = s2.checkEntailed(s2.mkBoolean(true));
30
1
  return r.isEntailed() && r2.isEntailed() ? 0 : 1;
31
3
}
32