public void HH_ExceptionInPropertyBool()
{
var property =
from x in Property.ForAll(Gen.Int32(Range.Constant(0, 0)))
select 1 / x != 2; // line 41
property.Check();
}
public void HH_ExceptionInPropertyVoid()
{
var property =
from x in Property.ForAll(Gen.Int32(Range.Constant(0, 0)))
select Run(() =>
{
_ = 1 / x != 2; // line 21
});
property.Check(); // line 23
}