---
name: Bug report
about: Create a report to help us improve
title: ''
labels: ''
assignees: ''

---

**Describe the bug**
A clear and concise description of what the bug is.

**To Reproduce**
Steps to reproduce the behavior:
1. Link to an input file (bitcode is preferred)
2. Full command line options

**Expected behavior**
A clear and concise description of what you expected to happen.

**Logs, Stacktraces, and Screenshots**
If applicable, add a log, a screenshots, or a stack trace to help explain your problem.

**Desktop (please complete the following information):**
 - OS: [e.g. Linux, Mac]
 - LLVM: [e.g., llvm10]
 - Z3: [e.g. z3-master]

**Additional context**
Add any other context about the problem here.
