projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: 2faf908)
[GitHub] Add link to fuzzing guidelines in issues (#4695)
authorAndres Noetzli <andres.noetzli@gmail.com>
Mon, 6 Jul 2020 23:06:55 +0000 (16:06 -0700)
committerGitHub <noreply@github.com>
Mon, 6 Jul 2020 23:06:55 +0000 (16:06 -0700)
.github/ISSUE_TEMPLATE/config.yml [new file with mode: 0644] patch | blob

diff --git a/.github/ISSUE_TEMPLATE/config.yml b/.github/ISSUE_TEMPLATE/config.yml
new file mode 100644 (file)
index 0000000..792a76d
--- /dev/null
+++ b/.github/ISSUE_TEMPLATE/config.yml
@@ -0,0 +1,4 @@
+contact_links:
+  - name: Bugs found with fuzzers
+    url: https://github.com/CVC4/CVC4/wiki/Fuzzing-CVC4
+    about: Please read the guidelines before submitting bugs found with a fuzzer