public void PostConditionBeforeInvariant()
        {
            ITestRunReport stub = MockRepository.GenerateMock<ITestRunReport>();
            CounterAssert assert = new CounterAssert();
            Spec spec =
                new Spec(
                    () => assert.Count(2))
                    .IfAfter(() => assert.CountAsCondition(1));

            spec.Verify(null, stub);
        }
        public void VerifyDoesNotCallPreConditon()
        {
            ITestRunReport stub = MockRepository.GenerateMock<ITestRunReport>();
            CounterAssert assert = new CounterAssert();
            Spec spec =
                new Spec(
                    () => assert.Count(1))
                    .If(
                    () =>
                        {
                            Assert.Fail();
                            return true;
                        });

            spec.Verify(null, stub);
        }