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

Commit e73bec3

Browse files
committed
Clarify what 'original' means for the requirement that original sources must be present in PRs for new verification and test tasks
1 parent 11a5602 commit e73bec3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

.github/PULL_REQUEST_TEMPLATE

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -16,7 +16,7 @@
1616

1717
<!-- For C programs: -->
1818
- [ ] [data model](https://github.com/sosy-lab/sv-benchmarks/blob/master/CONTRIBUTING.md#data-model) present in task-definition file
19-
- [ ] original sources present
19+
- [ ] original (ideally not preprocessed) sources present
2020
- [ ] [preprocessed](https://github.com/sosy-lab/sv-benchmarks/blob/master/CONTRIBUTING.md#preprocessing) files present
2121
- [ ] preprocessed files generated with correct architecture
2222
- [ ] [Makefile](https://github.com/sosy-lab/sv-benchmarks/blob/master/CONTRIBUTING.md#compile-checks) added with correct content and without overly broad suppression of warnings

0 commit comments

Comments
 (0)