Skip to content

Reporting Issues

Z3 Development edited this page Apr 2, 2020 · 5 revisions

Before reporting a new issue...

  • Search the current issues for similar issues.
  • Check the outstanding pull requests for related changes.

How to report a new issue...

  • Complete each of the sections, please.
  • Explain the Expected Behavior
    • Add expected results if you know
    • Provide some notes or ideas on how to acheive the results
  • Describe the Actual Behavior
    • Attach a screen shot for clarity if necessary
  • Provide the Specification of your environment, including versions numbers, etc.

Finally, if possible, provide a small test case (code example) of the issue. If a test case is not possible, provide a link to a live version of your design, or attach your design to the issue.

NOTE: GitHub restricts the types of attachments. You can rename files to .txt to attach.