Skip to content

Add memsafety subproperty for 86 juliet tasks

This MR adds the correct subproperty valid-deref to 86 task definitions for Juliet tasks that were missed in MR 1540.

Since i created those tasks, i am confident that the verdict is correct. I must have made a mistake in my replacement script and did not get all of my newly created tasks when i added the subproperty. More details on these tasks can be found in MR 1540.

Merge request reports

Loading