Re: SAF-* comment at the end of the line

2023-12-13 Thread Julien Grall
Hi, On 06/12/2023 02:42, Stefano Stabellini wrote: On Tue, 5 Dec 2023, Luca Fancellu wrote: Hi all, I’m writing this mail to collect thoughts about the need to improve the SAF-* comments. I think we reached a point where we need to use deviations for some violation that we want to keep in

Re: SAF-* comment at the end of the line

2023-12-05 Thread Stefano Stabellini
On Tue, 5 Dec 2023, Luca Fancellu wrote: > Hi all, > > I’m writing this mail to collect thoughts about the need to improve the SAF-* > comments. > > I think we reached a point where we need to use deviations for some violation > that we want > to keep in the code with a proper justification

SAF-* comment at the end of the line

2023-12-05 Thread Luca Fancellu
Hi all, I’m writing this mail to collect thoughts about the need to improve the SAF-* comments. I think we reached a point where we need to use deviations for some violation that we want to keep in the code with a proper justification and an issue was raised when the comment cannot be put on