Zac-HD / hypothesmith

Hypothesis strategies for generating Python programs, something like CSmith

https://pypi.org/project/hypothesmith/

Zac-HD/hypothesmith Issues

New failure on 3.12 while updating hypothesis to 6.111.0
Updated 2 months ago1
0.3.3: pytest fails in `tests/test_syntactic.py::test_black_autoformatter_from_grammar` unit
Updated 6 months ago1
0.3.1: no git tag and no commits
Updated 7 months ago3
Cannot import on 3.13, importlib.resources.read_text is removed
Closed 8 months ago1
Use `from_regex(..., alphabet=st.characters(min_codepoint=1, codec="utf-8"))` to reduce rejection sampling
Closed 10 months ago1
No git version tags
Closed 2 years ago4
Broken with `hypothesis==6.84.0`
Closed a year ago2
How to get hypothesmith to generate a FunctionDef with arguments?
Updated a year ago2
hypothesmith-inspired compiler fuzzer used to validate PEP 709 implementation
Updated a year ago1
can pysource-codegen be used to generate code with hypothesmith
Closed a year ago3
Generate programs matching a syntatic pattern... using `libcst` matchers
Updated 2 years ago
hypothesmith on PyPI breaks with FileNotFoundError when importing from_grammar or from_node
Closed 2 years ago3
Grammar definition file handling is broken
Closed 2 years ago1
libcst version requirement should be updated
Closed 2 years ago1
Register a strategy for `libcst.MatchSingleton`
Closed 2 years ago2
Generated programs are missing spaces
Updated 3 years ago17
Generate names which collide when NFKC-normalized
Updated 3 years ago
Failure on py3.9: SystemError: Negative size passed to PyUnicode_New
Closed 3 years ago7
AST-based program generation
Closed 3 years ago3
Add release
Closed 4 years ago1
Distribute license and tests in pypi tarball
Closed 4 years ago2
New failure on Python3.9
Closed 4 years ago11
Python3.9 related bug.
Closed 4 years ago2
Error when generating single_input
Closed 4 years ago1
FailedHealthCheck when generating eval_input
Updated 4 years ago
hypothesmith powered testing for isort
Closed 4 years ago1
`hypothesmith` needs a logo!
Updated 4 years ago
Invalid source code generated
Closed 5 years ago5
Hypothesmith 0.0.3 Appears Incompatible with Hypothesis above 4.32.3
Closed 5 years ago3
Document and validate start productions for from_grammar
Closed 5 years ago1