From 4db05a7c208a14d137d68c4c238b806bcfa64ae4 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Tue, 15 Mar 2016 15:50:46 +0100
Subject: [PATCH] Fixed bug with wrong dormancyFactor when copying elements

Former-commit-id: 3c2ddcc08a23ecc1184c76eaa31539c0f03cacd1
---
 src/storage/dft/DFTBuilder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storage/dft/DFTBuilder.cpp b/src/storage/dft/DFTBuilder.cpp
index ea273e234..8241ea70a 100644
--- a/src/storage/dft/DFTBuilder.cpp
+++ b/src/storage/dft/DFTBuilder.cpp
@@ -226,7 +226,7 @@ namespace storm {
                     std::shared_ptr<DFTBE<ValueType>> be = std::static_pointer_cast<DFTBE<ValueType>>(element);
                     ValueType dormancyFactor = storm::utility::zero<ValueType>();
                     if (!storm::utility::isZero(be->passiveFailureRate())) {
-                        dormancyFactor = be->activeFailureRate() / be->passiveFailureRate();
+                        dormancyFactor = be->passiveFailureRate() / be->activeFailureRate();
                     }
                     addBasicElement(be->name(), be->activeFailureRate(), dormancyFactor);
                     break;