diff options
Diffstat (limited to '.github/ISSUE_TEMPLATE/bug_report.md')
| -rw-r--r-- | .github/ISSUE_TEMPLATE/bug_report.md | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md new file mode 100644 index 00000000..a33a5484 --- /dev/null +++ b/.github/ISSUE_TEMPLATE/bug_report.md @@ -0,0 +1,14 @@ +--- +name: Bug report +about: Create a bug report to help us improve KLEE +title: '' +labels: '' +assignees: '' + +--- + +If you found a bug in KLEE, please provide: +1) A clear and concise description of what the bug is: what happened and what you expected to happen. +2) Steps to reproduce the bug. Ideally, you would provide a small code example triggering the bug and the exact command line used to run KLEE. Please make sure the bug is still present in the mainline. +3) The warnings and error messages issued by KLEE +4) Any relevant information about your platform: the output of `klee --version`, OS version, environment variables, directory in which KLEE is run, etc. |