protected override void Check()
{
var components = Enumerable.Range(0, 5).Select(i => new C()).ToArray();
var model = TestModel.InitializeModel(components);
IFaultSetHeuristic heuristic = new MinimalRedundancyHeuristic(model,
components.Select(c => c.F1),
components.Select(c => c.F2),
components.Select(c => c.F3)
);
var setsToCheck = new LinkedList<FaultSet>();
heuristic.Augment(0, setsToCheck);
setsToCheck.Count.ShouldBe(125);
setsToCheck.All(set => set.Cardinality == 12).ShouldBe(true);
}
protected override void Check()
{
var components = Enumerable.Range(0, 5).Select(i => new C()).ToArray();
var model = TestModel.InitializeModel(components);
IFaultSetHeuristic heuristic = new MinimalRedundancyHeuristic(model.Faults,
components.Select(c => c.F1),
components.Select(c => c.F2),
components.Select(c => c.F3)
);
var setsToCheck = new LinkedList <FaultSet>();
heuristic.Augment(0, setsToCheck);
setsToCheck.Count.ShouldBe(125);
setsToCheck.All(set => set.Cardinality == 12).ShouldBe(true);
}
