diff options
Diffstat (limited to '.github/ISSUE_TEMPLATE/question.md')
-rw-r--r-- | .github/ISSUE_TEMPLATE/question.md | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/.github/ISSUE_TEMPLATE/question.md b/.github/ISSUE_TEMPLATE/question.md new file mode 100644 index 00000000..8b7c7c3a --- /dev/null +++ b/.github/ISSUE_TEMPLATE/question.md @@ -0,0 +1,15 @@ +--- +name: Question +about: Ask a question about KLEE +title: '' +labels: '' +assignees: '' + +--- + +To ask a question about KLEE: +1. Please first check the documentation at http://klee.github.io/docs/ +2. Then check the [searchable mailing list archive](https://www.mail-archive.com/klee-dev@imperial.ac.uk/) +3. If this still doesn’t answer your questions then please send an email to the [klee-dev mailing list](http://klee.github.io/klee-dev/) + +**We will normally not answer questions asked on GitHub.** |