From 7f14a11349dae074b4f307488d0289e2fd7043e9 Mon Sep 17 00:00:00 2001 From: Aina Niemetz Date: Wed, 4 Aug 2021 12:01:08 -0700 Subject: [PATCH] Update bug_report.md --- .github/ISSUE_TEMPLATE/bug_report.md | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/.github/ISSUE_TEMPLATE/bug_report.md b/.github/ISSUE_TEMPLATE/bug_report.md index 7335e13cc..0df44e807 100644 --- a/.github/ISSUE_TEMPLATE/bug_report.md +++ b/.github/ISSUE_TEMPLATE/bug_report.md @@ -10,14 +10,14 @@ 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). +*Note*: If the bug is triggered with an SMT2 input file please minimize it with [ddsmt](https://github.com/ddsmt/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. +**Command line arguments**: Command line arguments passed to cvc5 if applicable +**cvc5 version/commit**: Paste cvc5 version/commit here. +**Operating system**: Name/version of the operating system. -**`configure.sh` options** +**`configure.sh` options** Paste `configure.sh` here. -**`configure.sh` output** +**`configure.sh` output** Paste the output of `configure.sh` here. -- 2.30.2