public void MethodInvocationWithStringValueThrowsContractEncryption() { // Arrange var sut = new CodeContractsVerification(); // Act sut.MethodWithContractRequires(null); // Assert Assert.Fail("CodeContracts not working"); }
public void MethodInvocationWithStringValueSucceeds() { // Arrange var sut = new CodeContractsVerification(); // Act var result = sut.MethodWithContractRequires("arbitrary-string"); // Assert Assert.IsTrue(result); }