Raise on server crashed

[skourta]

This pull request introduces several changes to improve error handling, type annotations, and code readability in the tiralib/tiramisu module. The most important changes include the addition of a custom exception, enhancements to type annotations, and improvements to assertion formatting.

Error handling improvements:

• tiralib/tiramisu/function_server.py: Added a new exception class ServerExecutionFailedError to handle server execution failures.
• tiralib/tiramisu/schedule.py: Incorporated the new ServerExecutionFailedError exception in the execute method to raise a specific error when server execution fails.

Type annotations:

• tiralib/tiramisu/function_server.py: Enhanced type annotations for the __init__ method to ensure proper type checking for name, legality, isl_ast, and success attributes.

Code readability:

• tiralib/tiramisu/function_server.py: Improved the formatting of the assertion in the run method for better readability and maintainability.

Dependency imports:

• tiralib/tiramisu/schedule.py: Added the import statement for the newly created ServerExecutionFailedError exception.

[Copilot]

Pull Request Overview

This PR improves error handling in the tiramisu module by introducing a custom ServerExecutionFailedError, enhancing type annotations, and reformatting assertions for better readability.

• Introduces a new ServerExecutionFailedError exception in function_server.py.
• Uses enhanced type annotations in function_server.py’s init.
• Reformats assertions in function_server.py and raises the new error in schedule.py.

Reviewed Changes

Copilot reviewed 2 out of 2 changed files in this pull request and generated 2 comments.

File	Description
tiralib/tiramisu/schedule.py	Adds a new error raise using ServerExecutionFailedError and updates the import statements.
tiralib/tiramisu/function_server.py	Introduces ServerExecutionFailedError, enhances type annotations in init, and reformats an assertion in the run method.

[Mascinissa]

Looking good!