The source project of this merge request has been removed.
Add Juliet tasks to category MemCleanup
Some tasks of sv-benchmarks category MemSafety-Juliet contain property valid-memcleanup.prp
.
In the current benchmark definitions, these were not included.
I assume this was simply forgotten? In that case, this MR changes this by adding the MemSafety-Juliet task set to category MemCleanup.