File test_failure.hpp

File List > backends > cxx > include > zmbt > model > test_failure.hpp

Go to the documentation of this file

#ifndef ZMBT_MODEL_TEST_FAILURE_HPP_
#define ZMBT_MODEL_TEST_FAILURE_HPP_

#include <sstream>

#include <boost/json.hpp>

#include "zmbt/core/json_pretty_print.hpp"

namespace zmbt {

void format_failure_report(std::ostream& os, boost::json::value const& report);

void default_test_failure(boost::json::value const& report);

}

#endif