diff options
Diffstat (limited to '.github/ISSUE_TEMPLATE/feature_request.md')
| -rw-r--r-- | .github/ISSUE_TEMPLATE/feature_request.md | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.github/ISSUE_TEMPLATE/feature_request.md b/.github/ISSUE_TEMPLATE/feature_request.md new file mode 100644 index 00000000..681ffda5 --- /dev/null +++ b/.github/ISSUE_TEMPLATE/feature_request.md @@ -0,0 +1,14 @@ +--- +name: Feature request +about: Suggest a feature in KLEE +title: '' +labels: '' +assignees: '' + +--- + +**Is your feature request related to a problem? Please describe.** +A clear and concise description of what the problem is. E.g., I find it difficult to use KLEE when [...]; I would find it very useful for KLEE to [...] + +**Describe the solution you'd like** +A clear and concise description of what you want to happen. |