Storm 1.13.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
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)

Function Documentation

◆ DoubleNearPredFormat()

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 17 of file storm_gtest.cpp.