Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
MinMaxTechniqueSelectionTest.cpp
Go to the documentation of this file.
1#include "test/storm_gtest.h"
2
4
5TEST(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}
TEST(MinMaxMethod, Simple)