Merge pull request #1143 from sosy-lab/remove-cfg-files

Remove cfg files for categories, update scripts and documentation

Author: dbeyer

.github/PULL_REQUEST_TEMPLATE

@@ -15,7 +15,7 @@
 - [ ] programs and expected answer added to a `.yml` file according to [task definitions](https://github.com/sosy-lab/sv-benchmarks#task-definitions)
 
 <!-- For C programs: -->
-- [ ] [architecture](https://github.com/sosy-lab/sv-benchmarks/blob/master/CONTRIBUTING.md#architecture) (32 bit vs. 64 bit) matches the corresponding `.cfg` file
+- [ ] [data model](https://github.com/sosy-lab/sv-benchmarks/blob/master/CONTRIBUTING.md#data-model) present in task-definition file
 - [ ] original sources present
 - [ ] [preprocessed](https://github.com/sosy-lab/sv-benchmarks/blob/master/CONTRIBUTING.md#preprocessing) files present
 - [ ] preprocessed files generated with correct architecture

CONTRIBUTING.md

@@ -1,3 +1,4 @@
+# Contains concurrency problems.
 pthread/*.yml
 pthread-atomic/*.yml
 pthread-ext/*.yml

README.md

@@ -1,2 +1,3 @@
+# Contains tasks for checking whether the program might run into undefined behavior.
 array-examples/*.yml
 reducercommutativity/*.yml

c/ConcurrencySafety-Main.cfg

@@ -1 +1,2 @@
+# Contains tasks for checking whether the program might run into undefined behavior.
 termination-crafted/*.yml