public Property Property(DontShrink <IList <int> > dsxsParam)
{
var generator = Any.Value(dsxsParam).Select(dsxs => dsxs.Item);
Func <IList <int>, bool> assertion = xs =>
xs.Reverse().Reverse().SequenceEqual(xs);
return(Spec.For(generator, assertion).Build());
}
public bool PropRewrite3(DontShrink<Expression> dontShrinkExpr)
{
var expr = dontShrinkExpr.Item;
var rexpr = expr.Rewrite(true);
return rexpr.Eval() == expr.Eval();
}
