diff options
| author | Cristian Cadar <c.cadar@imperial.ac.uk> | 2019-05-02 17:06:23 +0100 |
|---|---|---|
| committer | MartinNowack <martin.nowack@gmail.com> | 2019-05-07 10:52:48 +0100 |
| commit | 0cf14d6d70b939ad29a9da42b33a4a5d4697b947 (patch) | |
| tree | 6667df26f4bce32378c8df35721dbc96fcfc7090 /.github/ISSUE_TEMPLATE/feature_request.md | |
| parent | 385a29ea2f98738fb316a7e4875a5afd5597e9ae (diff) | |
| download | klee-0cf14d6d70b939ad29a9da42b33a4a5d4697b947.tar.gz | |
Update issue templates
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. |