text: /*
   * This file is a part of the TChecker project.
   *
   * See files AUTHORS and LICENSE for copyright details.
   *
   */
  
  #ifndef TCHECKER_TESTUTILS_UTILS_HH
  #define TCHECKER_TESTUTILS_UTILS_HH
  
  #include <string>
  
  #include "tchecker/parsing/declaration.hh"
  #include "tchecker/utils/log.hh"
  
  /*!
   \file utils.hh
   \brief Utilities for unit tests
   */
  
  namespace tchecker {
  
  namespace test {
  
  /*!
   \brief Parse a model
   \param model : tchecker model
   \return the system declaration corresponding to model if model is syntactically correct, nullptr otherwise or if
   a temporary file cannot be created
   \post errors and warnings in model have been reported to std::cerr
   */
  tchecker::parsing::system_declaration_t const * parse(std::string const & model);
  
  } // end of namespace test
  
  } // end of namespace tchecker
  
  #endif // TCHECKER_TESTUTILS_UTILS_HH
  