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