Merge pull request #1196 from sosy-lab/fix-documentation

dbeyer · web-flow · commit ba8a8ab69676 · 2020-10-29T20:50:10.000+01:00
Fix wrong reference to the software system BusyBox
diff --git a/c/SoftwareSystems-uthash-MemSafety.set b/c/SoftwareSystems-uthash-MemSafety.set
@@ -1,2 +1,2 @@
-# Contains problems from the software system BusyBox.
+# Contains problems from the uthash hashing library.
 uthash-2.0.2/*.yml
diff --git a/c/SoftwareSystems-uthash-NoOverflows.set b/c/SoftwareSystems-uthash-NoOverflows.set
@@ -1,2 +1,2 @@
-# Contains problems from the software system BusyBox.
+# Contains problems from the uthash hashing library.
 uthash-2.0.2/*.yml
diff --git a/c/SoftwareSystems-uthash-ReachSafety.set b/c/SoftwareSystems-uthash-ReachSafety.set
@@ -1,2 +1,2 @@
-# Contains problems from the software system BusyBox.
+# Contains problems from the uthash hashing library.
 uthash-2.0.2/*.yml

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`		`-# Contains problems from the software system BusyBox.`
	`1`	`+# Contains problems from the uthash hashing library.`
`2`	`2`	`uthash-2.0.2/*.yml`