testing::internal Namespace Reference

Functions
GTEST_API_ AssertionResult	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	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.

Function Documentation

DoubleNearPredFormat() [1/2]

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 )

Definition at line 18 of file storm_gtest.cpp.

DoubleNearPredFormat() [2/2]

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.

An infinite value is never near anything, which is what makes the failure message say so rather than the comparison failing to compile.

Definition at line 96 of file storm_gtest.h.