34TEST(NondeterministicSparseTransitionParserTest, BasicTransitionsParsing) {
58 ASSERT_EQ(0ul, cIter->getColumn());
59 ASSERT_EQ(0.9, cIter->getValue());
61 ASSERT_EQ(1ul, cIter->getColumn());
62 ASSERT_EQ(0.1, cIter->getValue());
64 ASSERT_EQ(1ul, cIter->getColumn());
65 ASSERT_EQ(0.2, cIter->getValue());
67 ASSERT_EQ(2ul, cIter->getColumn());
68 ASSERT_EQ(0.2, cIter->getValue());
70 ASSERT_EQ(3ul, cIter->getColumn());
71 ASSERT_EQ(0.2, cIter->getValue());
73 ASSERT_EQ(4ul, cIter->getColumn());
74 ASSERT_EQ(0.2, cIter->getValue());
76 ASSERT_EQ(5ul, cIter->getColumn());
77 ASSERT_EQ(0.2, cIter->getValue());
79 ASSERT_EQ(5ul, cIter->getColumn());
80 ASSERT_EQ(1, cIter->getValue());
82 ASSERT_EQ(0ul, cIter->getColumn());
83 ASSERT_EQ(0.1, cIter->getValue());
85 ASSERT_EQ(4ul, cIter->getColumn());
86 ASSERT_EQ(0.9, cIter->getValue());
88 ASSERT_EQ(2ul, cIter->getColumn());
89 ASSERT_EQ(1, cIter->getValue());
91 ASSERT_EQ(2ul, cIter->getColumn());
92 ASSERT_EQ(0.5, cIter->getValue());
94 ASSERT_EQ(3ul, cIter->getColumn());
95 ASSERT_EQ(0.5, cIter->getValue());
97 ASSERT_EQ(2ul, cIter->getColumn());
98 ASSERT_EQ(1, cIter->getValue());
100 ASSERT_EQ(2ul, cIter->getColumn());
101 ASSERT_EQ(0.001, cIter->getValue());
103 ASSERT_EQ(3ul, cIter->getColumn());
104 ASSERT_EQ(0.999, cIter->getValue());
106 ASSERT_EQ(1ul, cIter->getColumn());
107 ASSERT_EQ(0.7, cIter->getValue());
109 ASSERT_EQ(4ul, cIter->getColumn());
110 ASSERT_EQ(0.3, cIter->getValue());
112 ASSERT_EQ(1ul, cIter->getColumn());
113 ASSERT_EQ(0.2, cIter->getValue());
115 ASSERT_EQ(4ul, cIter->getColumn());
116 ASSERT_EQ(0.2, cIter->getValue());
118 ASSERT_EQ(5ul, cIter->getColumn());
119 ASSERT_EQ(0.6, cIter->getValue());
121 ASSERT_EQ(5ul, cIter->getColumn());
122 ASSERT_EQ(1, cIter->getValue());
125TEST(NondeterministicSparseTransitionParserTest, BasicTransitionsRewardsParsing) {
130 STORM_TEST_RESOURCES_DIR
"/rew/mdp_general.trans.rew", modelInformation));
140 ASSERT_EQ(0ul, cIter->getColumn());
141 ASSERT_EQ(1, cIter->getValue());
143 ASSERT_EQ(1ul, cIter->getColumn());
144 ASSERT_EQ(30, cIter->getValue());
146 ASSERT_EQ(1ul, cIter->getColumn());
147 ASSERT_EQ(15.2, cIter->getValue());
149 ASSERT_EQ(2ul, cIter->getColumn());
150 ASSERT_EQ(75, cIter->getValue());
152 ASSERT_EQ(5ul, cIter->getColumn());
153 ASSERT_EQ(2.45, cIter->getValue());
155 ASSERT_EQ(5ul, cIter->getColumn());
156 ASSERT_EQ(1, cIter->getValue());
158 ASSERT_EQ(0ul, cIter->getColumn());
159 ASSERT_EQ(0.114, cIter->getValue());
161 ASSERT_EQ(4ul, cIter->getColumn());
162 ASSERT_EQ(90, cIter->getValue());
164 ASSERT_EQ(2ul, cIter->getColumn());
165 ASSERT_EQ(1, cIter->getValue());
167 ASSERT_EQ(2ul, cIter->getColumn());
168 ASSERT_EQ(55, cIter->getValue());
170 ASSERT_EQ(3ul, cIter->getColumn());
171 ASSERT_EQ(87, cIter->getValue());
173 ASSERT_EQ(2ul, cIter->getColumn());
174 ASSERT_EQ(13, cIter->getValue());
176 ASSERT_EQ(3ul, cIter->getColumn());
177 ASSERT_EQ(999, cIter->getValue());
179 ASSERT_EQ(1ul, cIter->getColumn());
180 ASSERT_EQ(0.7, cIter->getValue());
182 ASSERT_EQ(4ul, cIter->getColumn());
183 ASSERT_EQ(0.3, cIter->getValue());
185 ASSERT_EQ(1ul, cIter->getColumn());
186 ASSERT_EQ(0.1, cIter->getValue());
188 ASSERT_EQ(5ul, cIter->getColumn());
189 ASSERT_EQ(6, cIter->getValue());
227TEST(NondeterministicSparseTransitionParserTest, FixDeadlocks) {
246 ASSERT_EQ(1ul, cIter->getColumn());
247 ASSERT_EQ(0.7, cIter->getValue());
249 ASSERT_EQ(4ul, cIter->getColumn());
250 ASSERT_EQ(0.3, cIter->getValue());
252 ASSERT_EQ(5ul, cIter->getColumn());
253 ASSERT_EQ(1, cIter->getValue());
255 ASSERT_EQ(1ul, cIter->getColumn());
256 ASSERT_EQ(0.2, cIter->getValue());
258 ASSERT_EQ(4ul, cIter->getColumn());
259 ASSERT_EQ(0.2, cIter->getValue());
261 ASSERT_EQ(5ul, cIter->getColumn());
262 ASSERT_EQ(0.6, cIter->getValue());
264 ASSERT_EQ(5ul, cIter->getColumn());
265 ASSERT_EQ(1, cIter->getValue());