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(); }