---
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.