/******************************************************************************
 * Top contributors (to current version):
 *   Aina Niemetz, Andrew Reynolds
 *
 * This file is part of the cvc5 project.
 *
 * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
 * in the top-level source directory and their institutional affiliations.
 * All rights reserved.  See the file COPYING in the top-level source
 * directory for licensing information.
 * ****************************************************************************
 *
 * Common header for unit tests involving env.
 */

#ifndef CVC5__TEST__UNIT__TEST_NODE_H
#define CVC5__TEST__UNIT__TEST_NODE_H

#include "expr/node_manager.h"
#include "expr/skolem_manager.h"
#include "options/options.h"
#include "smt/env.h"
#include "smt/smt_engine.h"
#include "smt/smt_engine_scope.h"
#include "test.h"

namespace cvc5 {
namespace test {

class TestEnv : public TestInternal
{
 protected:
  void SetUp() override
  {
    d_options.reset(new Options());
    d_nodeManager.reset(new NodeManager());
    d_env.reset(new Env(d_nodeManager.get(), d_options.get()));
  }


  std::unique_ptr<Options> d_options;
  std::unique_ptr<NodeManager> d_nodeManager;
  std::unique_ptr<Env> d_env;
};

}  // namespace test
}  // namespace cvc5
#endif