pschanely/

CrossHair

An analysis tool for Python that blurs the line between testing and type systems.

Owners:

$100.00

USD raised

Recent activities

amacfie funded $ 100.00 for pschanely/CrossHair# 115

about 3 years ago

pschanely added the repository

about 3 years ago

Issues

Funded Unfunded Rewarded Closed

Constructor compatibility for CrossHair symbolics

Unfunded#94created bypschanely

$0.00

Use more flake8

Unfunded#119created bypschanely

$0.00

Document `check` and `watch` commands at line number

Unfunded#91created bymristin

$0.00

Consider other precommit approaches

Unfunded#121created bypschanely

$0.00

Crosshair loses track of a counterexample when `== `is replaced by `in`

Unfunded#112created byponeill

$0.00

Executing CLI without arguments raises an exception

Unfunded#109created bymristin

$0.00

Integration with deal

Unfunded#116created byorsinium

$0.00

Decide what to do with typing.ParamSpec and Concatenate

Unfunded#127created bypschanely

$0.00

Fraction problem with remove_outliers

Unfunded#90created byRik-de-Kort

$0.00

Symbolic Regex Support

Unfunded#118created bypschanely

$0.00

memoryview raises TypeError

Unfunded#153created bykionactf

$0.00

The replace function is not dealt with CrossHair

Unfunded#152created bykionactf

$0.00

Importing PyTorch raise a side effect error

Unfunded#157created byrasenmaeher92

$0.00

NameError when running "crosshair check"

Unfunded#158created bybarrywhart

$0.00

Importing pandas raises Errors and RuntimeWarnings

Unfunded#159created byrasenmaeher92

$0.00

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

Unfunded#161created bypschanely

$0.00

support codes containing locks

Unfunded#146created bylaprej

$0.00

Symbolic json library support

Unfunded#30created bypschanely

$0.00

Consider support for classes without typed attributes

Unfunded#6created bypschanely

$0.00

Develop an approach for testing impure behavior

Unfunded#31created bypschanely

$0.00

SideEffect detection too strict ?

Unfunded#163created byPiotrZakrzewski

$0.00

Readthedocs is missing changelogs for 0.0.24 and 0.0.25

Unfunded#170created byZac-HD

$0.00

Identity-aware repr for counterexamples

Unfunded#48created bypschanely

$0.00

AssertionError Raised when Running Example

Unfunded#171created bywellsonah2019

$0.00

Importing spacy fails

Unfunded#172created byrasenmaeher92

$0.00

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

Unfunded#174created bypschanely

$0.00

Cover command only finds one input for recursive function

Unfunded#175created bypschanely

$0.00

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

Unfunded#179created byazewiusz

$0.00

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

Unfunded#191created bypetrusboniatus

$0.00

User code can accidentally catch CrossHair's timeout exception

Unfunded#196created bypschanely

$0.00

Header files are missing from sdist

Unfunded#197created byliam-ly

$0.00

Better error message when a file can't be imported

Unfunded#202created byneighthan

$0.00

Check __return__ is not None

Unfunded#205created byusepr

$0.00

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

Unfunded#206created bypschanely

$0.00

Some easy cases cannot be solved

Unfunded#207created byusepr

$0.00

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

Unfunded#216created byazewiusz

$0.00

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

Unfunded#217created byazewiusz

$0.00

Produce the correct import statements for pytest output on cover command

Unfunded#220created bypschanely

$0.00

Support Python 3.12

Unfunded#224created bypschanely

$0.00

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

Unfunded#235created bypschanely

$0.00

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

Unfunded#236created bypschanely

$0.00

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

Unfunded#242created bySeanHeelan

$0.00

Unexpectedly long run times on a short example containing floats

Unfunded#243created bySeanHeelan

$0.00

Update Z3 version

Unfunded#248created bypschanely

$0.00

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

Unfunded#255created by9iang22

$0.00

Confusing findings for dictionary constructors

Unfunded#257created bytjs-intel

$0.00

Add support for NewType

Unfunded#259created bybrydenfogelman

$0.00

CrosshairInternal error on simple example

Unfunded#263created byeivindjahren

$0.00

`repr(collections.namedtuple)` errors

Unfunded#267created bytybug

$0.00

Auto-realize encode/decode arguments for unsupported codecs

Unfunded#271created bypschanely

$0.00

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

Unfunded#272created byZac-HD

$0.00

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

Unfunded#274created byZac-HD

$0.00

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

Unfunded#275created byZac-HD

$0.00

`TypeError` in bytes regex

Unfunded#276created byZac-HD

$0.00

`CrosshairInternal` when printing `Fraction`

Unfunded#277created bytybug

$0.00

Support named `dict` init syntax

Unfunded#279created bytybug

$0.00

`PurePath(LazyIntSymbolicStr)` error

Unfunded#280created bytybug

$0.00

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

Unfunded#286created byZac-HD

$0.00

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

Unfunded#291created byZac-HD

$0.00

Support `base64.b64encode()` and friends

Unfunded#293created byZac-HD

$0.00

`RecursionError` in `_issubclass`

Unfunded#294created byZac-HD

$0.00

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

Unfunded#304created byZac-HD

$0.00

Investigate some more hypothesis tests

Unfunded#307created bypschanely

$0.00

Error installing CrossHair with Poetry under macOS 14.4.1 in Python 3.13

Unfunded#319created byiusedmyimagination

$0.00

Recent activities

amacfie funded $ 100.00 for pschanely/CrossHair# 115

about 3 years ago

pschanely added the repository

about 3 years ago

CrossHair

$100.00

Issues

Company

Community

Support

Connect