From 03573865aaeaf434836d509724f5a8e8fc615fdd Mon Sep 17 00:00:00 2001 From: Mathias Preiner Date: Tue, 10 Mar 2020 13:44:34 -0700 Subject: [PATCH] Update bug report template --- .github/ISSUE_TEMPLATE/bug_report.md | 2 ++ 1 file changed, 2 insertions(+) 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. -- 2.30.2