Add SoftwareSystems-coreutils benchmark defintions
Adds the unreach-call.SoftwareSystems-coreutils-ReachSafety
, valid-memsafety.SoftwareSystems-coreutils-MemSafety
, valid-memsafety.SoftwareSystems-coreutils-MemSafety
benchmark definitions. This MR depends on sv-benchmarks 1398 being merged.
Edited by Julian Erhard