It seems you are noticing saturation logic being used in the counter for the “after” command in Stateflow's generated code, regardless of whether the "Saturate on integer overflow" option is enabled.
To clarify, the "Saturate on integer overflow" option controls whether integer overflow is permitted for general operations within the chart, but it does not affect how the “after” command is implemented in the generated code. For more details on this option, you can check the documentation here: https://www.mathworks.com/help/releases/R2024a/stateflow/ug/handling-integer-overflow-for-chart-data.html.
The saturation logic for the counter related to the “after” command is automatically included by Embedded Coder to ensure the safety and robustness of the generated code. This logic is not something you can configure or control.
I hope this clears up your question. If you can provide more details about your specific use case and why you want to control the logic for the “after” command in the generated code, I would be glad to offer further assistance.
