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"]