Added hint towards uniquefailedbe flag in error message

5 years ago · 3473a930a2
1 changed files with 1 additions and 1 deletions
--- a/src/storm-dft/generator/DftNextStateGenerator.cpp
+++ b/src/storm-dft/generator/DftNextStateGenerator.cpp
@ -30,7 +30,7 @@ namespace storm {
                    if (constBe->failed()) {
                        constFailedBeCounter++;
                        STORM_LOG_THROW(constFailedBeCounter < 2, storm::exceptions::NotSupportedException,
                                        "DFTs with more than one constantly failed BE are not supported");
                                        "DFTs with more than one constantly failed BE are not supported. Try using the option '--uniquefailedbe'.");
                        constFailedBE = constBe;
                    }
                }