Skip to content

add option to not write to source directory

Gidon Ernst requested to merge gernst/svcomp-bench-defs:korn into main

this is needed to make Coveriteam happy

Merge request reports