Skip to content
Permalink
Browse files

One remark to mdp tests

  • Loading branch information...
joleuger committed Jan 22, 2018
1 parent 8db7fb6 commit 3c0042c727297bb60057e893b1758d3bdda249ee
Showing with 9 additions and 0 deletions.
  1. +9 −0 Models/Hemodialysis Machine/Analysis/EvaluationTests.cs
@@ -396,6 +396,7 @@ public void CalculateIncomingBloodWasNotOkSingleCoreWithoutEarlyTermination()
public void CalculateLtmdpWithoutFaultsWithPruning()
{
var model = new Model();
//SetProbabilities(model);
model.HdMachine.Dialyzer.DialyzerMembraneRupturesFault.ProbabilityOfOccurrence = null;

var createModel = SafetySharpRuntimeModel.CreateExecutedModelFromFormulasCreator(model);
@@ -416,6 +417,7 @@ public void CalculateLtmdpWithoutFaultsWithPruning()
public void CalculateLtmdpWithoutStaticPruning()
{
var model = new Model();
//SetProbabilities(model);
model.HdMachine.Dialyzer.DialyzerMembraneRupturesFault.ProbabilityOfOccurrence = null;

var createModel = SafetySharpRuntimeModel.CreateExecutedModelFromFormulasCreator(model);
@@ -441,6 +443,7 @@ public void CalculateLtmdpWithoutStaticPruning()
public void CalculateLtmdpWithoutStaticPruningSingleCore()
{
var model = new Model();
//SetProbabilities(model);
model.HdMachine.Dialyzer.DialyzerMembraneRupturesFault.ProbabilityOfOccurrence = null;

var createModel = SafetySharpRuntimeModel.CreateExecutedModelFromFormulasCreator(model);
@@ -481,6 +484,7 @@ public void CalculateLtmdpWithoutStaticPruningSingleCore()
public void CalculateMdpNewStates()
{
var model = new Model();
//SetProbabilities(model);
model.HdMachine.Dialyzer.DialyzerMembraneRupturesFault.ProbabilityOfOccurrence = null;

var createModel = SafetySharpRuntimeModel.CreateExecutedModelFromFormulasCreator(model);
@@ -507,6 +511,7 @@ public void CalculateMdpNewStates()
public void CalculateMdpNewStatesConstant()
{
var model = new Model();
//SetProbabilities(model);
model.HdMachine.Dialyzer.DialyzerMembraneRupturesFault.ProbabilityOfOccurrence = null;

var createModel = SafetySharpRuntimeModel.CreateExecutedModelFromFormulasCreator(model);
@@ -534,6 +539,7 @@ public void CalculateMdpNewStatesConstant()
public void CalculateMdpFlattened()
{
var model = new Model();
//SetProbabilities(model);
model.HdMachine.Dialyzer.DialyzerMembraneRupturesFault.ProbabilityOfOccurrence = null;

var createModel = SafetySharpRuntimeModel.CreateExecutedModelFromFormulasCreator(model);
@@ -560,6 +566,7 @@ public void CalculateMdpFlattened()
public void CalculateMdpNewStatesWithoutFaults()
{
var model = new Model();
//SetProbabilities(model);
model.HdMachine.Dialyzer.DialyzerMembraneRupturesFault.ProbabilityOfOccurrence = null;

var createModel = SafetySharpRuntimeModel.CreateExecutedModelFromFormulasCreator(model);
@@ -582,6 +589,7 @@ public void CalculateMdpNewStatesWithoutFaults()
public void CalculateMdpNewStatesConstantWithoutFaults()
{
var model = new Model();
//SetProbabilities(model);
model.HdMachine.Dialyzer.DialyzerMembraneRupturesFault.ProbabilityOfOccurrence = null;

var createModel = SafetySharpRuntimeModel.CreateExecutedModelFromFormulasCreator(model);
@@ -605,6 +613,7 @@ public void CalculateMdpNewStatesConstantWithoutFaults()
public void CalculateMdpFlattenedWithoutFaults()
{
var model = new Model();
//SetProbabilities(model);
model.HdMachine.Dialyzer.DialyzerMembraneRupturesFault.ProbabilityOfOccurrence = null;

var createModel = SafetySharpRuntimeModel.CreateExecutedModelFromFormulasCreator(model);

0 comments on commit 3c0042c

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