<commit_before>name: Report a bug
description: Report a bug in claripy
labels: [bug,needs-triage]
body:
  - type: markdown
    attributes:
      value: |
        Thank you for taking the time to submit this bug report!
        
        Before submitting this bug report, please check the following, which may resolve your issue:
        * Have you checked that you are running the latest versions of angr and its components? angr is rapidly-evolving!
        * Have you [searched existing issues](https://github.com/angr/angr/issues?q=is%3Aopen+is%3Aissue+label%3Abug) to see if this bug has been reported before?
        * Have you checked the [documentation](https://docs.angr.io/)?
        * Have you checked the [FAQ](https://docs.angr.io/introductory-errata/faq)?

        **Important:** If this bug is a security vulnerability, please submit it privately. See our [security policy](https://github.com/angr/angr/blob/master/SECURITY.md) for more details.

        Please note: The angr suite is maintained by a small team. While we cannot guarantee any timeliness for fixes and enhancements, we will do our best. For more real-time help with angr, from us and the community, join our [Slack](https://angr.io/invite/).

  - type: textarea<commit_msg>Fix issues link in bug report template<commit_after>name: Report a bug
description: Report a bug in claripy
labels: [bug,needs-triage]
body:
  - type: markdown
    attributes:
      value: |
        Thank you for taking the time to submit this bug report!
        
        Before submitting this bug report, please check the following, which may resolve your issue:
        * Have you checked that you are running the latest versions of angr and its components? angr is rapidly-evolving!
        * Have you [searched existing issues](https://github.com/angr/claripy/issues?q=is%3Aopen+is%3Aissue+label%3Abug) to see if this bug has been reported before?
        * Have you checked the [documentation](https://docs.angr.io/)?
        * Have you checked the [FAQ](https://docs.angr.io/introductory-errata/faq)?

        **Important:** If this bug is a security vulnerability, please submit it privately. See our [security policy](https://github.com/angr/angr/blob/master/SECURITY.md) for more details.

        Please note: The angr suite is maintained by a small team. While we cannot guarantee any timeliness for fixes and enhancements, we will do our best. For more real-time help with angr, from us and the community, join our [Slack](https://angr.io/invite/).

  - type: textarea
{'fraction_non_alphanumeric': 0.08832807570977919, 'fraction_numerical': 0.002365930599369085, 'mean_word_length': 3.4275741710296685, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 10, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '350040', 'n_tokens_mistral': 727, 'n_tokens_neox': 702, 'n_words': 297}