Open
Description
Description
We need to extend the existing pre_condition, post_condition, and invariant d
543F
ecorators to support multiple conditions. This will provide a more flexible and powerful way to enforce rules.
Suggested Implementation
Modify the decorators to accept multiple conditions as a list or tuple and validate all of them. If any condition fails, the decorator should raise an exception.
Acceptance Criteria
pre_condition,post_condition, andinvariantdecorators can accept and handle multiple conditions.- Exceptions are raised when any of the conditions fail.
- Unit tests are written to ensure the multi-condition support works as expected.