Table of Contents

GetFalseAssertions()

IEnumerable<string> GetFalseAssertions(this IEnumerable<BooleanResultBase> results)

The GetFalseAssertions() extension method is used to extract the assertions from a collection of boolean results that are not satisfied.

var left  = Spec.Build((bool b) => b).Create("left");
var right = Spec.Build((bool b) => !b).Create("right");

// XOR always considers both operands as causes, regardless of their results
var spec =
     Spec .Build(left ^ right)
          .WhenTrueYield((_, result) => result.Causes.GetFalseAssertions())
          .WhenFalse("none")
          .Create("xor");

spec.Evaluate(true).Values;  // ["right == false"]
spec.Evaluate(false).Values;  // ["left == false"]