Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
MinMaxTechniqueSelectionTest.cpp
Go to the documentation of this file.
1
#include "
test/storm_gtest.h
"
2
3
#include "
storm/solver/MinMaxLinearEquationSolver.h
"
4
5
TEST
(MinMaxMethod, Simple) {
6
storm::solver::MinMaxMethodSelection ts = storm::solver::MinMaxMethodSelection::PolicyIteration;
7
storm::solver::MinMaxMethod t = storm::solver::MinMaxMethod::PolicyIteration;
8
ASSERT_EQ(convert(ts), t);
9
}
MinMaxLinearEquationSolver.h
TEST
TEST(MinMaxMethod, Simple)
Definition
MinMaxTechniqueSelectionTest.cpp:5
storm_gtest.h
src
test
storm
solver
MinMaxTechniqueSelectionTest.cpp
Generated by
1.9.8