-
Notifications
You must be signed in to change notification settings - Fork 48
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.
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Unexpected checking results for functions with/without type annotations
#234
opened Jan 10, 2024 by
eXceediDeaL
CrossHair is missing symbolic support for CrossHair does not report a problem that it (possibly) could have.
str.split
without arguments
enhancement
missed bug
#223
opened Nov 7, 2023 by
pschanely
Do not treat KeyboardInterrupt as an exception in code-under-analysis
enhancement
#206
opened Jul 12, 2023 by
pschanely
Unexpected counterexample when indexing a symbolic sequence by a object of unknown type
#200
opened Mar 15, 2023 by
pschanely
Independent blog posts about CrossHair
good first issue
Hacktoberfest
help wanted
#173
opened Oct 3, 2022 by
pschanely
Contract enforcement of calls with *a/**kw on windows does not happen.
#169
opened Jun 3, 2022 by
pschanely
Pretty printing object instances (counter examples)
enhancement
#164
opened May 27, 2022 by
PiotrZakrzewski
Register contracts for nondeterministic functions in the standard library
enhancement
#162
opened May 17, 2022 by
pschanely
4 of 7 tasks
Previous Next
ProTip!
Mix and match filters to narrow down what you’re looking for.