pschanely/CrossHair

Issues

• Confusing findings for dictionary constructors

  #257 opened 2 months ago by tjs-intel
  5

• Add support for NewType

  #259 opened 2 months ago by brydenfogelman
  3

• Can I use a seed to start exploration when using cover command?

  #255 opened 3 months ago by 9iang22
  1

• Update Z3 version

  #248 opened 3 months ago by pschanely
  1

• Implement pluggable smtlib2 backends

  #250 opened 3 months ago by pschanely
  0

• Support Python 3.12

  #224 opened 3 months ago by pschanely
  1

• Heuristics for lengths of sequence-like symbolics

  #247 opened 3 months ago by pschanely
  0

• Unexpectedly long run times on a short example containing floats

  #243 opened 3 months ago by SeanHeelan
  2

• cover command error: (AttributeError("'AlgebraicNumRef' object has no attribute 'as_fraction'")

  #242 opened 3 months ago by SeanHeelan
  2

• Improve premature realization heuristics

  #245 opened 3 months ago by pschanely
  0

• Unexpected checking results for functions with/without type annotations

  #234 opened 5 months ago by eXceediDeaL
  4

• CrosshairInternal error raised when attempting to use symbolic integer as a function

  #236 opened 5 months ago by pschanely
  1

• Generic objects, when realized to strings, raise TypeError on concatenation.

  #235 opened 5 months ago by pschanely
  0

• Ensure all isinstance checks account for undecided types

  #237 opened 5 months ago by pschanely
  0

• Implement true floating point semantics

  #230 opened 7 months ago by pschanely
  0

• Support correct and compilable representation of enum values in the cover/pytest mode

  #216 opened 7 months ago by azewiusz
  7

• Produce the correct import statements for pytest output on cover command

  #220 opened 7 months ago by pschanely
  1

• CrossHair is missing symbolic support for `str.split` without arguments

  #223 opened 7 months ago by pschanely
  0

• Better error message when a file can't be imported

  #202 opened 7 months ago by neighthan
  1

• Support pytest.raises Assertion / Exception match parameter when there is a message in exception

  #217 opened 7 months ago by azewiusz
  1

• Some easy cases cannot be solved

  #207 opened 10 months ago by usepr
  6

• Support atomic grouping and possessive quantifiers

  #211 opened 10 months ago by pschanely
  0

• Do not treat KeyboardInterrupt as an exception in code-under-analysis

  #206 opened a year ago by pschanely
  0

• Check __return__ is not None

  #205 opened a year ago by usepr
  0

• Support annotated-types

  #201 opened a year ago by amacfie
  1

• Unexpected counterexample when indexing a symbolic sequence by a object of unknown type

  #200 opened a year ago by pschanely
  0

• Neovim LSP Support

  #198 opened a year ago by PorcoRosso85
  5

• "watch""check" return nothing

  #199 opened a year ago by PorcoRosso85
  6

• User code can accidentally catch CrossHair's timeout exception

  #196 opened a year ago by pschanely
  1

• Header files are missing from sdist

  #197 opened a year ago by liam-ly
  1

• Generated test suite with cover option contains failing tests

  #188 opened 2 years ago by azewiusz
  5

• Any class with an attribute called "typ" returns an error upon creation

  #191 opened a year ago by petrusboniatus
  2

• `None` in `max` and `min` goes undetected

  #194 opened a year ago by mristin
  1

• Re-investigate string and sequence solvers

  #189 opened 2 years ago by pschanely
  7

• Add symbolic support for `not`

  #167 opened 2 years ago by pschanely
  1

• Do not attempt to short-circuit calls with concrete arguments

  #190 opened 2 years ago by pschanely
  0

• Extending native types doesn't work as expected

  #184 opened 2 years ago by pschanely
  2

• Unable to build/install latest release of CrossHair-0.0.32 on Windows

  #179 opened 2 years ago by azewiusz
  3

• Pretty printing object instances (counter examples)

  #164 opened 2 years ago by PiotrZakrzewski
  7

• Independent blog posts about CrossHair

  #173 opened 2 years ago by pschanely
  3

• Cover command only finds one input for recursive function

  #175 opened 2 years ago by pschanely
  1

• Higher-order function is not covered by `crosshair cover`

  #174 opened 2 years ago by pschanely
  1

• Importing spacy fails

  #172 opened 2 years ago by rasenmaeher92
  7

• CrossHair dies on arguments with PEP604 Unions (e.g. "int|str")

  #161 opened 2 years ago by pschanely
  1

• Register contracts for nondeterministic functions in the standard library

  #162 opened 2 years ago by pschanely
  2

• AssertionError Raised when Running Example

  #171 opened 2 years ago by wellsonah2019
  4

• Handle revamped invocation opcodes in Python 3.11

  #168 opened 2 years ago by pschanely
  1

• Readthedocs is missing changelogs for 0.0.24 and 0.0.25

  #170 opened 2 years ago by Zac-HD
  3

• Contract enforcement of calls with *a/**kw on windows does not happen.

  #169 opened 2 years ago by pschanely
  0

• SideEffect detection too strict ?

  #163 opened 2 years ago by PiotrZakrzewski
  3