public void Test_CreateEmptyPolicyWithDefaultUserSucceeds_WithFixture()
        {
            //setup/arrange
            Mockery mockery = new Mockery();
            User user = new UserFixture().CreateValidUser();
            PolicyDAO policyDAO = mockery.NewMock<PolicyDAO>();
            Expect.Once.On(policyDAO).Method("Save").WithAnyArguments();
            PolicyManager manager = new PolicyManagerImpl(policyDAO);

            //execute/act
            Policy policy = manager.CreateEmptyPolicy(user);

            //assert
            mockery.VerifyAllExpectationsHaveBeenMet();
            Assert.AreSame(user, policy.Holder, "holder should be user we created for");
            Assert.AreEqual(0, policy.Coverages.Count, "coverages should be zero");
        }
        public void Test_UserFixtureCreateValidUserIsConsistent()
        {
            //setup/arrange
            User user1 = new UserFixture().CreateValidUser();
            User user2 = new UserFixture().CreateValidUser();

            //execute/act
            // no operation for this example

            //assert
            new UserAssertion().AreEqual(user1, user2, "Example Assertions");
        }