public string Get([PexAssumeUnderTest] TestInheritedInterface target, string s)
{
// TODO: add assertions to method TestInheritedInterfaceTest.Get(TestInheritedInterface, String)
string result = target.Get(s);
return(result);
}
public byte[] Test([PexAssumeUnderTest] TestInheritedInterface target, int x)
{
// TODO: add assertions to method TestInheritedInterfaceTest.Get(TestInheritedInterface, Int32)
byte[] result = target.Test(x);
return(result);
}