storm_gtest.h File Reference

#include "gtest/gtest.h"
#include <boost/optional/optional_io.hpp>
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/utility/constants.h"
#include "storm/utility/initialize.h"

Include dependency graph for storm_gtest.h:

Go to the source code of this file.

Namespaces
namespace	testing
namespace	testing::internal
namespace	storm
	LabParser.cpp.
namespace	storm::test

Macros
#define	STORM_SILENT_ASSERT_THROW(statement, expected_exception)
#define	STORM_SILENT_EXPECT_THROW(statement, expected_exception)

Functions
GTEST_API_ AssertionResult	testing::internal::DoubleNearPredFormat (const char *expr1, const char *expr2, const char *abs_error_expr, storm::RationalNumber val1, storm::RationalNumber val2, storm::RationalNumber abs_error)
bool	storm::test::testGurobiLicense ()
void	storm::test::initialize (int *argc, char **argv)
void	storm::test::enableErrorOutput ()
void	storm::test::disableOutput ()

Macro Definition Documentation

STORM_SILENT_ASSERT_THROW

#define STORM_SILENT_ASSERT_THROW	(		statement,
			expected_exception
	)

Value:

    storm::test::disableOutput();                                \
    ASSERT_THROW(statement, expected_exception);                 \
    storm::test::enableErrorOutput()

Definition at line 99 of file storm_gtest.h.

STORM_SILENT_EXPECT_THROW

#define STORM_SILENT_EXPECT_THROW	(		statement,
			expected_exception
	)

Value:

    storm::test::disableOutput();                                \
    EXPECT_THROW(statement, expected_exception);                 \
    storm::test::enableErrorOutput()

Definition at line 104 of file storm_gtest.h.