public void ValidateAssertionContractsTest_Postcondition()
{
receiver = new PostconditionTestClass();
method = typeof(PostconditionTestClass).GetMethod("NoPostconditionMethod");
Assert.AreEqual(ContractStateEnum.Missing, contractsManager.ValidateAssertionContracts(method, receiver, returnValue).PostconditionState);
method = typeof(PostconditionTestClass).GetMethod("InvalidPostconditionMethod_NotBool");
Assert.AreEqual(ContractStateEnum.Invalid, contractsManager.ValidateAssertionContracts(method, receiver, returnValue).PostconditionState);
method = typeof(PostconditionTestClass).GetMethod("InvalidPostconditionMethod_NoOutput");
Assert.AreEqual(ContractStateEnum.Invalid, contractsManager.ValidateAssertionContracts(method, receiver, returnValue).PostconditionState);
method = typeof(PostconditionTestClass).GetMethod("ValidPostconditionMethod");
Assert.AreEqual(ContractStateEnum.Ok, contractsManager.ValidateAssertionContracts(method, receiver, returnValue).PostconditionState);
}
