Esempi in C# (CSharp) per CodeContracts.BoolMethod

Esempio n. 1

        public void InvokeWithFalseThrowsContractException()
        {
            var sut = new CodeContracts();

            sut.BoolMethod(false);
        }

Esempio n. 2

        public void InvokeWithTrueSucceeds()
        {
            var sut = new CodeContracts();

            sut.BoolMethod(true);
        }