public void SetFilter(
[PexAssumeUnderTest] RawTraceReader target,
int columnId,
int logicalOperator,
int comparisonOperator,
long?value
)
{
target.SetFilter(columnId, logicalOperator, comparisonOperator, value);
// TODO: add assertions to method RawTraceReaderTest.SetFilter(RawTraceReader, Int32, Int32, Int32, Nullable`1<Int64>)
}
public void SetFilter01(
[PexAssumeUnderTest] RawTraceReader target,
int columnId,
int logicalOperator,
int comparisonOperator,
string value
)
{
target.SetFilter(columnId, logicalOperator, comparisonOperator, value);
// TODO: add assertions to method RawTraceReaderTest.SetFilter01(RawTraceReader, Int32, Int32, Int32, String)
}