storm_gtest.h File Reference

#include <gtest/gtest.h>
#include <type_traits>
#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.

Classes
struct	storm::test::IsExtendedNumber< T >
struct	storm::test::IsExtendedNumber< storm::utility::ExtendedNumber< T > >
struct	storm::test::FiniteValueTypeOf< T >
	The value type underlying a possibly extended one. More...
struct	storm::test::FiniteValueTypeOf< storm::utility::ExtendedNumber< T > >

Namespaces
namespace	storm
namespace	storm::utility
namespace	storm::test
namespace	testing
namespace	testing::internal

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
template<typename T>
bool	storm::test::isInfiniteValue (storm::utility::ExtendedNumber< T > const &value)
template<typename T> requires (!IsExtendedNumber<T>::value)
bool	storm::test::isInfiniteValue (T const &)
template<typename T>
T const &	storm::test::finiteValue (storm::utility::ExtendedNumber< T > const &value)
template<typename T> requires (!IsExtendedNumber<T>::value)
T const &	storm::test::finiteValue (T const &value)
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)
template<typename T1, typename T2> requires (storm::test::IsExtendedNumber<T1>::value || storm::test::IsExtendedNumber<T2>::value)
AssertionResult	testing::internal::DoubleNearPredFormat (const char *expr1, const char *expr2, const char *abs_error_expr, T1 const &val1, T2 const &val2, typename storm::test::FiniteValueTypeOf< T1 >::type const &absError)
	Check results hold their values in the type extended with the infinities, so an EXPECT_NEAR on one of them lands here.
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 30 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 31 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 32 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 33 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 16 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 21 of file storm_gtest.h.