Skip to content

Add Juliet tasks to category MemCleanup

Thomas Lemberger requested to merge (removed):add-juliet-to-memcleanup into main

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.

Merge request reports