[GitHub] Add link to fuzzing guidelines in issues

4tXJ7f · Jul 3, 2020 · a446125 · a446125
1 parent 2faf908
commit a446125
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.github/ISSUE_TEMPLATE/config.yml 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