diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2020-03-10 13:44:34 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-03-10 13:44:34 -0700 |
commit | 03573865aaeaf434836d509724f5a8e8fc615fdd (patch) | |
tree | ac6d89605cd7e143697c21e67455e073e72cb445 /.github/ISSUE_TEMPLATE/bug_report.md | |
parent | 84d4546e5a66cf37775b769e7456f0f4a86c4cf0 (diff) |
Update bug report template
Diffstat (limited to '.github/ISSUE_TEMPLATE/bug_report.md')
-rw-r--r-- | .github/ISSUE_TEMPLATE/bug_report.md | 2 |
1 files changed, 2 insertions, 0 deletions
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. |