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

Commit 47c831b

Browse files
committed
Add short category description to ReachSafety-Combinations.set
1 parent 33490c1 commit 47c831b

File tree

1 file changed

+2
-0
lines changed

1 file changed

+2
-0
lines changed

c/ReachSafety-Combinations.set

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

0 commit comments

Comments
 (0)