Skip to content

Add SoftwareSystems-coreutils benchmark defintions

Julian Erhard requested to merge goblint-coreutils into main

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

Merge request reports