blob: 7335e13cc3fbb4092e91e3041fbf942808ec4a63 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
---
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.
|