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

*Note*: If the bug is triggered with an SMT2 input file please minimize it with [ddsmt](https://github.com/aniemetz/ddSMT).

**Command line arguments**: Command line arguments passed to CVC4 if applicable
**CVC4 version/commit**: Paste CVC4 version/commit here.
**Operating system**: Name/version of the operating system.

**`configure.sh` options**
Paste `configure.sh` here.

**`configure.sh` output**
Paste the output of `configure.sh` here.