Ejemplos de CodeContractsVerification en C# (CSharp)

Ejemplo n.º 1

        public void MethodInvocationWithStringValueThrowsContractEncryption()
        {
            // Arrange
            var sut = new CodeContractsVerification();

            // Act
            sut.MethodWithContractRequires(null);

            // Assert
            Assert.Fail("CodeContracts not working");
        }

Ejemplo n.º 2

        public void MethodInvocationWithStringValueSucceeds()
        {
            // Arrange
            var sut = new CodeContractsVerification();

            // Act
            var result = sut.MethodWithContractRequires("arbitrary-string");

            // Assert
            Assert.IsTrue(result);
        }