Example #1
0
        public void InvokeWithFalseThrowsContractException()
        {
            var sut = new CodeContracts();

            sut.BoolMethod(false);
        }
Example #2
0
        public void InvokeWithTrueSucceeds()
        {
            var sut = new CodeContracts();

            sut.BoolMethod(true);
        }