sosy-lab/sv-comp

SoftwareSystems-SQLite-MemSafety is empty

lembergerth opened this issue · 1 comments

Task set <tasks name="SoftwareSystems-SQLite-MemSafety"> is empty because it only has a coverage property, so it should not be part of the benchmark definitions.

@dbeyer how to proceed with this? Should every team update its own archives?

@lembergerth If you could do it and create a pull request that would be great!

Best,
Dirk