public void TestRefinementPatterns(string input, RefinementPattern pattern)
{
var model = parser.Parse(input);
var goal = model.Goals()
.ShallContain(x => x.Identifier == "test")
.ShallBeSingle();
var refinement = goal.Refinements().Single();
refinement.RefinementPattern.ShallEqual(pattern);
}
public void TestRefinementPatterns(string input, RefinementPattern pattern)
{
var model = parser.Parse (input);
var goal = model.Goals()
.ShallContain (x => x.Identifier == "test")
.ShallBeSingle ();
var refinement = goal.Refinements().Single ();
refinement.RefinementPattern.ShallEqual (pattern);
if (pattern == RefinementPattern.Case) {
var probability = refinement.Parameters.Single();
Assert.AreEqual(.5, probability);
}
}
