1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
/***
* Bitwuzla: Satisfiability Modulo Theories (SMT) solver.
*
* Copyright (C) 2020 by the authors listed in the AUTHORS file at
* https://github.com/bitwuzla/bitwuzla/blob/main/AUTHORS
*
* This file is part of Bitwuzla under the MIT license. See COPYING for more
* information at https://github.com/bitwuzla/bitwuzla/blob/main/COPYING
*/
#ifndef TEST_H_INCLUDED
#define TEST_H_INCLUDED
#include <gtest/gtest.h>
#include <cmath>
#include <fstream>
#include <sstream>
#include <string>
class TestCommon : public ::testing::Test
{
};
// Debug only ASSERT_DEATH.
#ifdef NDEBUG
#define ASSERT_DEATH_DEBUG(statement, regex) \
std::cout << "warning: " << #statement << " test in " << __FUNCTION__ \
<< " disabled for NDEBUG builds."
#else
#define ASSERT_DEATH_DEBUG(statement, regex) ASSERT_DEATH(statement, regex)
#endif
#endif
|
