public void Compute02()
{
try
{
if (!PexContract.HasRequiredRuntimeContracts
(typeof(global::ClassWithProtocol), (PexRuntimeContractsFlags)4223))
{
Assert.Inconclusive
("assembly assembly Samples is not instrumented with runtime contracts");
}
global::ClassWithProtocol classWithProtocol;
bool b;
classWithProtocol =
global::ClassWithProtocolFactory.Create((string)null, (string)null, 0);
b = this.Compute(classWithProtocol, "");
throw new AssertFailedException();
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}
public void Constructor02()
{
try
{
if (!PexContract.HasRequiredRuntimeContracts
(typeof(Chunker), (PexRuntimeContractsFlags)4223))
{
Assert.Inconclusive
("assembly assembly Samples is not instrumented with runtime contracts");
}
Chunker chunker;
chunker = this.Constructor((string)null, 1);
throw new AssertFailedException();
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}
public void TrimSuffix02()
{
try
{
if (!PexContract.HasRequiredRuntimeContracts
(typeof(Class1), (PexRuntimeContractsFlags)4223))
{
Assert.Inconclusive
("assembly assembly VBLib is not instrumented with runtime contracts");
}
string s;
s = this.TrimSuffix("", (string)null);
throw new AssertFailedException();
}
catch (Exception ex)
{
if (!PexContract.IsContractException(ex))
{
throw ex;
}
}
}
