Skip to content

Issues: pschanely/CrossHair

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

37 Open 68 Closed
37 Open 68 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

None in max and min goes undetected
#194 opened Dec 9, 2022 by mristin
1
Do not attempt to short-circuit calls with concrete arguments
#190 opened Nov 23, 2022 by pschanely
Re-investigate string and sequence solvers
#189 opened Nov 21, 2022 by pschanely
7
Generated test suite with cover option contains failing tests
#188 opened Nov 17, 2022 by azewiusz
5
Extending native types doesn't work as expected
#184 opened Nov 11, 2022 by pschanely
2
Independent blog posts about CrossHair good first issue Hacktoberfest help wanted
#173 opened Oct 3, 2022 by pschanely
3
Contract enforcement of calls with *a/**kw on windows does not happen.
#169 opened Jun 3, 2022 by pschanely
Handle revamped invocation opcodes in Python 3.11
#168 opened Jun 3, 2022 by pschanely
1
Add symbolic support for not enhancement
#167 opened May 31, 2022 by pschanely
1
Pretty printing object instances (counter examples) enhancement
#164 opened May 27, 2022 by PiotrZakrzewski
7
Register contracts for nondeterministic functions in the standard library enhancement
#162 opened May 17, 2022 by pschanely
4 of 7 tasks
2
Support literal dictionaries with symbolic keys enhancement Hacktoberfest
#154 opened Jan 27, 2022 by pschanely
1
Add symbolic support for BytesIO enhancement
#151 opened Dec 23, 2021 by pschanely
Support targeting by package names, not just module names enhancement
#147 opened Dec 12, 2021 by pschanely
Obtain symbolic values and path conditions without concretization after path_cover for post-testing analysis enhancement
#142 opened Nov 21, 2021 by hc825b
4
Symbolic string encode/decode enhancement
#137 opened Nov 6, 2021 by pschanely
3 tasks done
1
Consider moving tests outside of application code enhancement
#135 opened Oct 29, 2021 by mmtj
1
Do not repeatedly check fully-verifiable conditions in crosshair watch
#134 opened Oct 25, 2021 by pschanely
Improve trace callback performance enhancement
#115 opened Sep 9, 2021 by pschanely
3
Precondition bug missed unless invoked within function with its own precondition enhancement
#113 opened Jul 3, 2021 by poneill
3
Idea: leverage PyPy
#108 opened May 2, 2021 by Rik-de-Kort
1
Undocumented dependency on tk
#88 opened Feb 26, 2021 by Rik-de-Kort
2
Converting int to float
#87 opened Feb 24, 2021 by orsinium
2
Improve Support for Callable arguments using TypeVars
#85 opened Feb 19, 2021 by choct155
1
Document what is executed and how enhancement
#61 opened Feb 2, 2021 by mristin
9
ProTip! Type g i on any issue or pull request to go back to the issue listing page.