public void ForAll_ReturnsUniversalQuantification() { var spec = new IntegerGreaterThanZero(); var anySpec = spec.ForAll(); Assert.That(anySpec, Is.TypeOf<UniversalQuantification<int>>()); Assert.That(anySpec, Has.Property("Inner").EqualTo(spec)); }
public void ForAll_ReturnsUniversalQuantification() { var spec = new IntegerGreaterThanZero(); var anySpec = spec.ForAll(); Assert.That(anySpec, Is.TypeOf<UniversalQuantification<int>>()); Assert.That(anySpec, Has.Property("Inner").EqualTo(spec)); }