diff --git a/src/test/storm-pars/transformer/IntervalEndComponentPreserverTest.cpp b/src/test/storm-pars/transformer/IntervalEndComponentPreserverTest.cpp index 7a0621280..904d5120c 100644 --- a/src/test/storm-pars/transformer/IntervalEndComponentPreserverTest.cpp +++ b/src/test/storm-pars/transformer/IntervalEndComponentPreserverTest.cpp @@ -55,11 +55,11 @@ class IntervalEndComponentPreserverTest : public ::testing::Test { TEST_F(IntervalEndComponentPreserverTest, Simple) { storm::storage::SparseMatrixBuilder builder(3, 3); // 0 1 2 - // ---- group 0/2 ---- + // ---- group 0/2 ---- // 0 ( [0, 1] [0, 1] 0 ) 0 - // ---- group 1/2 ---- + // ---- group 1/2 ---- // 1 ( 0 0 [1, 1] ) 1 - // ---- group 2/2 ---- + // ---- group 2/2 ---- // 2 ( 0 0 0 ) 2 // 0 1 2 builder.addNextValue(0, 0, storm::Interval(0, 1)); @@ -67,20 +67,20 @@ TEST_F(IntervalEndComponentPreserverTest, Simple) { builder.addNextValue(1, 2, storm::Interval(1, 1)); storm::storage::SparseMatrix matrix = builder.build(); - std::vector vector = {storm::Interval(0, 0), storm::Interval(1, 1), storm::Interval(0,0)}; + std::vector vector = {storm::Interval(0, 0), storm::Interval(1, 1), storm::Interval(0, 0)}; storm::transformer::IntervalEndComponentPreserver preserver; auto newMatrix = preserver.eliminateMECs(matrix, vector); // Should be this now // 0 1 2 3 - // ---- group 0/3 ---- + // ---- group 0/3 ---- // 0 ( 0 [0, 1] 0 [0, 1] ) 0 - // ---- group 1/3 ---- + // ---- group 1/3 ---- // 1 ( 0 0 [1, 1] 0 ) 1 - // ---- group 2/3 ---- + // ---- group 2/3 ---- // 2 ( 0 0 0 0 ) 2 - // ---- group 3/3 ---- + // ---- group 3/3 ---- // 3 ( 0 0 0 0 ) 3 // 0 1 2 3