search

pschanely / CrossHair

An analysis tool for Python that blurs the line between testing and type systems.
Other
996 stars 47 forks source link

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

Closed Zac-HD closed 1 month ago

Zac-HD commented 1 month ago 
import zlib

def fn(buf: bytes):
  "post: True"
  zlib.compress(buf)

(via https://github.com/HypothesisWorks/hypothesis/pull/4034)

Zac-HD commented 1 month ago

Fixed by https://github.com/pschanely/CrossHair/commit/915144cdf52d8b75897c96c8515ed3342f1b3d9b 🎊