pschanely/CrossHair

Issues

• Investigate some more hypothesis tests

  #307 opened 19 days ago by pschanely
  1

• Publish a wasm build so Crosshair can be used on the client-side web

  #314 opened 21 days ago by Zac-HD
  2

• Perform validating executions

  #309 opened a month ago by pschanely
  1

• Avoid weakref nondeterminism

  #313 opened a month ago by pschanely
  1

• Crash when integer has (way) too many digits

  #285 opened 3 months ago by Zac-HD
  2

• Implement true floating point semantics

  #230 opened a month ago by pschanely
  2

• Internal error: `TypeError: type.__new__() argument 3 must be dict, not ShellMutableMap`

  #304 opened 2 months ago by Zac-HD
  2

• Diagnose slow hypothesis tests

  #301 opened 2 months ago by pschanely
  8

• Make set & frozenset constructors symbolic-aware

  #290 opened 2 months ago by pschanely
  2

• `z3.z3types.Z3Exception: b'parser error'` from interaction with `TypeVar`

  #292 opened 3 months ago by Zac-HD
  3

• Weird failures using sets

  #297 opened 3 months ago by Zac-HD
  4

• Lazy-load function patches

  #298 opened 3 months ago by pschanely
  0

• `RecursionError` in `_issubclass`

  #294 opened 3 months ago by Zac-HD
  5

• Accept `map()` object - or any iterable - in `int.from_bytes()`

  #291 opened 3 months ago by Zac-HD
  2

• Support `base64.b64encode()` and friends

  #293 opened 3 months ago by Zac-HD
  2

• a bytes-like object is required, not `SymbolicBytes` when calling `zlib.compress(b'')`

  #286 opened 3 months ago by Zac-HD
  1

• Support binascii module

  #289 opened 3 months ago by pschanely
  0

• Missing (~esoteric) proxy type emulations

  #288 opened 3 months ago by pschanely
  0

• Internal error for case-insensitive regex where changing case can change string length

  #274 opened 3 months ago by Zac-HD
  3

• Auto-realize encode/decode arguments for unsupported codecs

  #271 opened 3 months ago by pschanely
  1

• z3 boolean isn't number-comparable

  #283 opened 3 months ago by pschanely
  0

• `PurePath(LazyIntSymbolicStr)` error

  #280 opened 3 months ago by tybug
  6

• `TypeError` in bytes regex

  #276 opened 3 months ago by Zac-HD
  1

• `typing.get_type_hints()` raises `ValueError` when used inside Crosshair

  #275 opened 3 months ago by Zac-HD
  1

• Support named `dict` init syntax

  #279 opened 3 months ago by tybug
  2

• `CrosshairInternal` when printing `Fraction`

  #277 opened 3 months ago by tybug
  1

• Fully support stream-based and incremental encode/decode.

  #273 opened 4 months ago by pschanely
  0

• `hashlib` requires the buffer protocol, which symbolics bytes don't provide

  #272 opened 4 months ago by Zac-HD
  1

• `repr(collections.namedtuple)` errors

  #267 opened 4 months ago by tybug
  2

• CrosshairInternal error on simple example

  #263 opened 4 months ago by eivindjahren
  4

• Update Z3 version

  #248 opened 4 months ago by pschanely
  2

• Confusing findings for dictionary constructors

  #257 opened 7 months ago by tjs-intel
  5

• Add support for NewType

  #259 opened 7 months ago by brydenfogelman
  3

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

  #255 opened 7 months ago by 9iang22
  1

• Implement pluggable smtlib2 backends

  #250 opened 8 months ago by pschanely
  0

• Support Python 3.12

  #224 opened 8 months ago by pschanely
  1

• Heuristics for lengths of sequence-like symbolics

  #247 opened 8 months ago by pschanely
  0

• Unexpectedly long run times on a short example containing floats

  #243 opened 8 months ago by SeanHeelan
  2

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

  #242 opened 8 months ago by SeanHeelan
  2

• Improve premature realization heuristics

  #245 opened 8 months ago by pschanely
  0

• Unexpected checking results for functions with/without type annotations

  #234 opened 10 months ago by eXceediDeaL
  4

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

  #236 opened 10 months ago by pschanely
  1

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

  #235 opened 10 months ago by pschanely
  0

• Ensure all isinstance checks account for undecided types

  #237 opened 10 months ago by pschanely
  0

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

  #216 opened a year ago by azewiusz
  7

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

  #220 opened a year ago by pschanely
  1

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

  #223 opened a year ago by pschanely
  0

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

  #217 opened a year ago by azewiusz
  1

• Some easy cases cannot be solved

  #207 opened a year ago by usepr
  6

• Support atomic grouping and possessive quantifiers

  #211 opened a year ago by pschanely
  0