Skip to content
Permalink
Browse files

Make hemodialysis evaluations better comparable

  • Loading branch information...
joleuger committed Feb 8, 2018
1 parent 01aad61 commit 19bfc48a92abcd040c7ad0ed6a150cfb76f258f6
Showing with 2 additions and 2 deletions.
  1. +2 −2 Models/Hemodialysis Machine/Analysis/EvaluationTests.cs
@@ -497,8 +497,8 @@ public void CalculateLtmdpWithoutStaticPruningSingleCore()
markovChainGenerator.Configuration.EnableStaticPruningOptimization = false;
markovChainGenerator.Configuration.LtmdpModelChecker = LtmdpModelChecker.BuiltInLtmdp;
markovChainGenerator.Configuration.EnableEarlyTermination = false;
var unsuccessful = new BoundedUnaryFormula(model.BloodNotCleanedAndDialyzingFinished, UnaryOperator.Finally, 6);
var contamination = new BoundedUnaryFormula(model.IncomingBloodWasNotOk, UnaryOperator.Finally, 6);
var unsuccessful = new UnaryFormula(model.BloodNotCleanedAndDialyzingFinished, UnaryOperator.Finally);
var contamination = new UnaryFormula(model.IncomingBloodWasNotOk, UnaryOperator.Finally);
markovChainGenerator.AddFormulaToCheck(unsuccessful);
markovChainGenerator.AddFormulaToCheck(contamination);
foreach (var fault in model.Faults)

0 comments on commit 19bfc48

Please sign in to comment.
You can’t perform that action at this time.