---
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/ddsmt/ddSMT).

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

**`configure.sh` options**  
Paste the options passed to `configure.sh` here.

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