projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 84d4546)
Update bug report template
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 10 Mar 2020 20:44:34 +0000 (13:44 -0700)
committerGitHub <noreply@github.com>
Tue, 10 Mar 2020 20:44:34 +0000 (13:44 -0700)
.github/ISSUE_TEMPLATE/bug_report.md patch | blob | history

diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md
index 4b03c4e9f24f642aadc77f2ab1f89938e786e145..7335e13cc3fbb4092e91e3041fbf942808ec4a63 100644 (file)
--- 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.