From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Tue, 10 Mar 2020 20:44:34 +0000 (-0700)
Subject: Update bug report template
X-Git-Tag: cvc5-1.0.0~3525
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=03573865aaeaf434836d509724f5a8e8fc615fdd;p=cvc5.git

Update bug report template
---

diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md
index 4b03c4e9f..7335e13cc 100644
--- a/.github/ISSUE_TEMPLATE/bug_report.md
+++ b/.github/ISSUE_TEMPLATE/bug_report.md
@@ -10,6 +10,8 @@ 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.