Initial commit

1 files changed, 13 insertions, 0 deletions

diff --git a/storm-non-exact.patch b/storm-non-exact.patch
new file mode 100644
index 0000000..09ca080
--- /dev/null
+++ b/storm-non-exact.patch
@@ -0,0 +1,13 @@
+diff --git a/dftcalc/dftcalc.cpp b/dftcalc/dftcalc.cpp
+index df84616..b4e748d 100644
+--- a/dftcalc/dftcalc.cpp
++++ b/dftcalc/dftcalc.cpp
+@@ -867,8 +867,6 @@ int DFT::DFTCalc::calculateDFT(const bool reuse,
+                }
+                
+                StormRunner *sr = new StormRunner(messageFormatter, &exec, stormExec, jani);
+-               if (useConverter == DFTRES)
+-                       sr->runExact = 1;
+                checker = std::unique_ptr<Checker>(sr);
+                break;
+        }