Skip to content
This repository was archived by the owner on Oct 3, 2021. It is now read-only.

Commit 217f9f8

Browse files
Remove old comment line in description of combinations
Obsolete and missing the comment-hash. Co-authored-by: Philipp Wendler <[email protected]>
1 parent 457c7e6 commit 217f9f8

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

c/ReachSafety-Combinations.set

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,2 @@
11
# Contains programs combined from other sv-benchmark tasks through loose coupling
2-
benchmark tasks that are available in sv-benchmarks.
32
combinations/*.yml

0 commit comments

Comments
 (0)