diff --git a/src/test/storm-dft/api/DftApproximationTest.cpp b/src/test/storm-dft/api/DftApproximationTest.cpp
index 231cf7832..ee59b9a15 100644
--- a/src/test/storm-dft/api/DftApproximationTest.cpp
+++ b/src/test/storm-dft/api/DftApproximationTest.cpp
@@ -83,7 +83,7 @@ namespace {
             ApproxBoundDifferenceConfig
         > TestingTypes;
 
-    TYPED_TEST_SUITE(DftApproximationTest, TestingTypes);
+    TYPED_TEST_SUITE(DftApproximationTest, TestingTypes,);
 
     TYPED_TEST(DftApproximationTest, HecsMTTF) {
         double errorBound = 2;
diff --git a/src/test/storm-dft/api/DftModelCheckerTest.cpp b/src/test/storm-dft/api/DftModelCheckerTest.cpp
index fb4856c21..36c743b6a 100644
--- a/src/test/storm-dft/api/DftModelCheckerTest.cpp
+++ b/src/test/storm-dft/api/DftModelCheckerTest.cpp
@@ -117,7 +117,7 @@ namespace {
             AllOptimizationsConfig
         > TestingTypes;
 
-    TYPED_TEST_SUITE(DftModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(DftModelCheckerTest, TestingTypes,);
 
     TYPED_TEST(DftModelCheckerTest, AndMTTF) {
         double result = this->analyzeMTTF(STORM_TEST_RESOURCES_DIR "/dft/and.dft");
diff --git a/src/test/storm-pars/modelchecker/ParametricDtmcPrctlModelCheckerTest.cpp b/src/test/storm-pars/modelchecker/ParametricDtmcPrctlModelCheckerTest.cpp
index aa193774a..a108f0538 100644
--- a/src/test/storm-pars/modelchecker/ParametricDtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm-pars/modelchecker/ParametricDtmcPrctlModelCheckerTest.cpp
@@ -49,7 +49,7 @@ namespace {
             EliminationEnvironment
     > TestingTypes;
     
-    TYPED_TEST_SUITE(ParametricDtmcPrctlModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(ParametricDtmcPrctlModelCheckerTest, TestingTypes,);
     TYPED_TEST(ParametricDtmcPrctlModelCheckerTest, Die) {
         storm::prism::Program program = storm::parser::PrismParser::parse(STORM_TEST_RESOURCES_DIR "/pdtmc/parametric_die.pm");
         storm::generator::NextStateGeneratorOptions options;
diff --git a/src/test/storm-pars/modelchecker/SparseDtmcParameterLiftingTest.cpp b/src/test/storm-pars/modelchecker/SparseDtmcParameterLiftingTest.cpp
index 42c061e02..b8b914e50 100644
--- a/src/test/storm-pars/modelchecker/SparseDtmcParameterLiftingTest.cpp
+++ b/src/test/storm-pars/modelchecker/SparseDtmcParameterLiftingTest.cpp
@@ -64,7 +64,7 @@ namespace {
             RationalPiEnvironment
     > TestingTypes;
     
-   TYPED_TEST_SUITE(SparseDtmcParameterLiftingTest, TestingTypes);
+   TYPED_TEST_SUITE(SparseDtmcParameterLiftingTest, TestingTypes,);
 
     
     TYPED_TEST(SparseDtmcParameterLiftingTest, Brp_Prob) {
diff --git a/src/test/storm-pars/modelchecker/SparseMdpParameterLiftingTest.cpp b/src/test/storm-pars/modelchecker/SparseMdpParameterLiftingTest.cpp
index 1db7bd95d..0868c1e26 100644
--- a/src/test/storm-pars/modelchecker/SparseMdpParameterLiftingTest.cpp
+++ b/src/test/storm-pars/modelchecker/SparseMdpParameterLiftingTest.cpp
@@ -51,7 +51,7 @@ namespace {
             RationalPIEnvironment
     > TestingTypes;
     
-   TYPED_TEST_SUITE(SparseMdpParameterLiftingTest, TestingTypes);
+   TYPED_TEST_SUITE(SparseMdpParameterLiftingTest, TestingTypes,);
 
     TYPED_TEST(SparseMdpParameterLiftingTest, two_dice_Prob) {
         
diff --git a/src/test/storm/modelchecker/csl/CtmcCslModelCheckerTest.cpp b/src/test/storm/modelchecker/csl/CtmcCslModelCheckerTest.cpp
index 2bf63ff6a..98a91f945 100755
--- a/src/test/storm/modelchecker/csl/CtmcCslModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/csl/CtmcCslModelCheckerTest.cpp
@@ -292,7 +292,7 @@ namespace {
             HybridSylvanGmmxxGmresEnvironment
         > TestingTypes;
     
-    TYPED_TEST_SUITE(CtmcCslModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(CtmcCslModelCheckerTest, TestingTypes,);
 
     TYPED_TEST(CtmcCslModelCheckerTest, Cluster) {
         std::string formulasString = "P=? [ F<=100 !\"minimum\"]";
diff --git a/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp b/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp
index cf50d1c5f..056c47ba8 100755
--- a/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/csl/MarkovAutomatonCslModelCheckerTest.cpp
@@ -215,7 +215,7 @@ namespace {
             SparseRationalRationalSearchEnvironment
         > TestingTypes;
     
-    TYPED_TEST_SUITE(MarkovAutomatonCslModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(MarkovAutomatonCslModelCheckerTest, TestingTypes,);
     
 
     TYPED_TEST(MarkovAutomatonCslModelCheckerTest, server) {
diff --git a/src/test/storm/modelchecker/prctl/dtmc/ConditionalDtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/prctl/dtmc/ConditionalDtmcPrctlModelCheckerTest.cpp
index 5b8eea78d..51b54d664 100755
--- a/src/test/storm/modelchecker/prctl/dtmc/ConditionalDtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/prctl/dtmc/ConditionalDtmcPrctlModelCheckerTest.cpp
@@ -120,7 +120,7 @@ namespace {
             NativeWalkerChaeEnvironment
     > TestingTypes;
     
-    TYPED_TEST_SUITE(ConditionalDtmcPrctlModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(ConditionalDtmcPrctlModelCheckerTest, TestingTypes,);
 
  
     TYPED_TEST(ConditionalDtmcPrctlModelCheckerTest, Conditional) {
diff --git a/src/test/storm/modelchecker/prctl/dtmc/DtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/prctl/dtmc/DtmcPrctlModelCheckerTest.cpp
index 861b5d67f..6833b5ce7 100755
--- a/src/test/storm/modelchecker/prctl/dtmc/DtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/prctl/dtmc/DtmcPrctlModelCheckerTest.cpp
@@ -566,7 +566,7 @@ namespace {
             DdSylvanRationalSearchEnvironment
         > TestingTypes;
     
-    TYPED_TEST_SUITE(DtmcPrctlModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(DtmcPrctlModelCheckerTest, TestingTypes,);
 
     TYPED_TEST(DtmcPrctlModelCheckerTest, Die) {
         std::string formulasString = "P=? [F \"one\"]";
diff --git a/src/test/storm/modelchecker/prctl/dtmc/LraDtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/prctl/dtmc/LraDtmcPrctlModelCheckerTest.cpp
index 9c7cf76f0..7caec1167 100755
--- a/src/test/storm/modelchecker/prctl/dtmc/LraDtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/prctl/dtmc/LraDtmcPrctlModelCheckerTest.cpp
@@ -111,7 +111,7 @@ namespace {
             NativeWalkerChaeEnvironment
     > TestingTypes;
     
-   TYPED_TEST_SUITE(LraDtmcPrctlModelCheckerTest, TestingTypes);
+   TYPED_TEST_SUITE(LraDtmcPrctlModelCheckerTest, TestingTypes,);
 
     
     
diff --git a/src/test/storm/modelchecker/prctl/mdp/LraMdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/prctl/mdp/LraMdpPrctlModelCheckerTest.cpp
index e18f7640e..0a6ed97a3 100755
--- a/src/test/storm/modelchecker/prctl/mdp/LraMdpPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/prctl/mdp/LraMdpPrctlModelCheckerTest.cpp
@@ -106,7 +106,7 @@ namespace {
 #endif
         > TestingTypes;
     
-    TYPED_TEST_SUITE(LraMdpPrctlModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(LraMdpPrctlModelCheckerTest, TestingTypes,);
     
     
     TYPED_TEST(LraMdpPrctlModelCheckerTest, LRA_SingleMec) {
diff --git a/src/test/storm/modelchecker/prctl/mdp/MdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/prctl/mdp/MdpPrctlModelCheckerTest.cpp
index ecab40f54..f1adc99ee 100755
--- a/src/test/storm/modelchecker/prctl/mdp/MdpPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/prctl/mdp/MdpPrctlModelCheckerTest.cpp
@@ -434,7 +434,7 @@ namespace {
             DdSylvanRationalRationalSearchEnvironment
         > TestingTypes;
     
-    TYPED_TEST_SUITE(MdpPrctlModelCheckerTest, TestingTypes);
+    TYPED_TEST_SUITE(MdpPrctlModelCheckerTest, TestingTypes,);
     
 
     TYPED_TEST(MdpPrctlModelCheckerTest, Dice) {
diff --git a/src/test/storm/modelchecker/prctl/mdp/QuantileQueryTest.cpp b/src/test/storm/modelchecker/prctl/mdp/QuantileQueryTest.cpp
index cbd67db56..9fbf3bffb 100755
--- a/src/test/storm/modelchecker/prctl/mdp/QuantileQueryTest.cpp
+++ b/src/test/storm/modelchecker/prctl/mdp/QuantileQueryTest.cpp
@@ -160,7 +160,7 @@ namespace {
             ExactEnvironment
         > TestingTypes;
     
-    TYPED_TEST_SUITE(QuantileQueryTest, TestingTypes);
+    TYPED_TEST_SUITE(QuantileQueryTest, TestingTypes,);
     
 
     TYPED_TEST(QuantileQueryTest, simple_Dtmc) {
diff --git a/src/test/storm/modelchecker/prctl/mdp/SchedulerGenerationMdpPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/prctl/mdp/SchedulerGenerationMdpPrctlModelCheckerTest.cpp
index 52498f641..937723a73 100755
--- a/src/test/storm/modelchecker/prctl/mdp/SchedulerGenerationMdpPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/prctl/mdp/SchedulerGenerationMdpPrctlModelCheckerTest.cpp
@@ -85,7 +85,7 @@ namespace {
             //RationalRationalSearchEnvironment
     > TestingTypes;
     
-   TYPED_TEST_SUITE(SchedulerGenerationMdpPrctlModelCheckerTest, TestingTypes);
+   TYPED_TEST_SUITE(SchedulerGenerationMdpPrctlModelCheckerTest, TestingTypes,);
 
     
     TYPED_TEST(SchedulerGenerationMdpPrctlModelCheckerTest, reachability) {
diff --git a/src/test/storm/solver/GameSolverTest.cpp b/src/test/storm/solver/GameSolverTest.cpp
index c704697cb..ef8f9c5d4 100644
--- a/src/test/storm/solver/GameSolverTest.cpp
+++ b/src/test/storm/solver/GameSolverTest.cpp
@@ -68,7 +68,7 @@ namespace {
             RationalPiEnvironment
     > TestingTypes;
     
-    TYPED_TEST_SUITE(GameSolverTest, TestingTypes);
+    TYPED_TEST_SUITE(GameSolverTest, TestingTypes,);
     
     TYPED_TEST(GameSolverTest, SolveEquations) {
         typedef typename TestFixture::ValueType ValueType;
diff --git a/src/test/storm/solver/LinearEquationSolverTest.cpp b/src/test/storm/solver/LinearEquationSolverTest.cpp
index 0e9b4ae5e..c449b3bb1 100644
--- a/src/test/storm/solver/LinearEquationSolverTest.cpp
+++ b/src/test/storm/solver/LinearEquationSolverTest.cpp
@@ -314,7 +314,7 @@ namespace {
             TopologicalEigenRationalLUEnvironment
     > TestingTypes;
     
-    TYPED_TEST_SUITE(LinearEquationSolverTest, TestingTypes);
+    TYPED_TEST_SUITE(LinearEquationSolverTest, TestingTypes,);
     
     
     TYPED_TEST(LinearEquationSolverTest, solveEquationSystem) {
diff --git a/src/test/storm/solver/MinMaxLinearEquationSolverTest.cpp b/src/test/storm/solver/MinMaxLinearEquationSolverTest.cpp
index 787b36069..6c027da73 100644
--- a/src/test/storm/solver/MinMaxLinearEquationSolverTest.cpp
+++ b/src/test/storm/solver/MinMaxLinearEquationSolverTest.cpp
@@ -131,7 +131,7 @@ namespace {
             RationalRationalSearchEnvironment
     > TestingTypes;
     
-    TYPED_TEST_SUITE(MinMaxLinearEquationSolverTest, TestingTypes);
+    TYPED_TEST_SUITE(MinMaxLinearEquationSolverTest, TestingTypes,);
     
     TYPED_TEST(MinMaxLinearEquationSolverTest, SolveEquations) {
         typedef typename TestFixture::ValueType ValueType;
diff --git a/src/test/storm/solver/MultiplierTest.cpp b/src/test/storm/solver/MultiplierTest.cpp
index 891029571..c373b1e7d 100644
--- a/src/test/storm/solver/MultiplierTest.cpp
+++ b/src/test/storm/solver/MultiplierTest.cpp
@@ -48,7 +48,7 @@ namespace {
             GmmxxEnvironment
     > TestingTypes;
     
-    TYPED_TEST_SUITE(MultiplierTest, TestingTypes);
+    TYPED_TEST_SUITE(MultiplierTest, TestingTypes,);
     
     TYPED_TEST(MultiplierTest, repeatedMultiplyTest) {
         typedef typename TestFixture::ValueType ValueType;