storm_gtest.h File Reference

#include <gtest/gtest.h>
#include <boost/optional/optional_io.hpp>
#include "storm/adapters/RationalNumberForward.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
namespace	storm::test

Macros
#define	STORM_SILENT_ASSERT_THROW(statement, expected_exception)
#define	STORM_SILENT_EXPECT_THROW(statement, expected_exception)
#define	STORM_EXPENSIVE_TEST(test_suite_name, test_name)
#define	STORM_EXPENSIVE_TEST_F(test_suite_name, test_name)
#define	STORM_EXPENSIVE_TEST_P(test_suite_name, test_name)
#define	STORM_EXPENSIVE_TYPED_TEST(test_suite_name, test_name)

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)
void	storm::test::initialize (int *argc, char **argv)
void	storm::test::enableErrorOutput ()
void	storm::test::disableOutput ()
bool	storm::test::testGurobiLicense ()

Macro Definition Documentation

STORM_EXPENSIVE_TEST

#define STORM_EXPENSIVE_TEST	(		test_suite_name,
			test_name )

Value:

TEST(test_suite_name, DISABLED_##test_name)

Definition at line 28 of file storm_gtest.h.

STORM_EXPENSIVE_TEST_F

#define STORM_EXPENSIVE_TEST_F	(		test_suite_name,
			test_name )

Value:

TEST_F(test_suite_name, DISABLED_##test_name)

Definition at line 29 of file storm_gtest.h.

STORM_EXPENSIVE_TEST_P

#define STORM_EXPENSIVE_TEST_P	(		test_suite_name,
			test_name )

Value:

TEST_P(test_suite_name, DISABLED_##test_name)

Definition at line 30 of file storm_gtest.h.

STORM_EXPENSIVE_TYPED_TEST

#define STORM_EXPENSIVE_TYPED_TEST	(		test_suite_name,
			test_name )

Value:

TYPED_TEST(test_suite_name, DISABLED_##test_name)

Definition at line 31 of file storm_gtest.h.

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 14 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 19 of file storm_gtest.h.