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
35
|
/***
* Bitwuzla: Satisfiability Modulo Theories (SMT) solver.
*
* Copyright (C) 2022 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
*/
#include <gtest/gtest.h>
#include "backtrack/assertion_stack.h"
#include "env.h"
#include "node/node_manager.h"
#include "rewrite/rewriter.h"
namespace bzla::test {
using namespace backtrack;
using namespace node;
class TestPreprocessingPass : public ::testing::Test
{
public:
TestPreprocessingPass() {}
protected:
NodeManager d_nm;
option::Options d_options;
backtrack::BacktrackManager d_bm;
AssertionStack d_as;
};
}
|
