Seelengrab Supposition.jl issues

Seelengrab / Supposition.jl

A Julia implementation of choice sequence based PBT, inspired by Hypothesis

https://seelengrab.github.io/Supposition.jl/

European Union Public License 1.2

44 stars 2 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

[Bug]: Test report table does not display properly

#53 sztal closed 6 days ago
4
[UX]: Generated cache files aren't Git-ignorable

#52 kapple19 opened 2 weeks ago
4
generate floats using lexographically ordered encoding

#49 raineszm opened 2 months ago
11
[Bug]: Unable to use `@composed` in a closure

#46 MilesCranmer closed 2 months ago
1
[Doc]: Error when running example from docs

#44 moble closed 3 months ago
1
[UX]: Checking `Vectors(Integers())` property takes too long

#43 jariji closed 3 months ago
1
[UX]: Test failures hidden when run as script

#42 nhz2 closed 2 months ago
6
userfacing -> user-facing

#41 jariji opened 4 months ago
1
Add glossary to explain jargon

#39 Seelengrab closed 4 months ago
1
[UX]: "An argument doesn't have a generator set!"

#37 jariji opened 5 months ago
2
[UX]: "Given expression is not a function call or definition" for short-form function definition

#36 jariji closed 5 months ago
0
[Doc]: Unexplained jargon

#35 moble closed 4 months ago
3
[UX]: Allow using anonymous functions & existing functions in `@composed`

#34 Seelengrab closed 6 months ago
0
[Bug]: `SystemError` when running `@check` for the first time in a project without a stored database

#32 Seelengrab closed 6 months ago
0
[UX]: Better printing of `Possibility` subtypes

#31 Seelengrab closed 4 months ago
1
TagBot trigger issue

#30 JuliaTagBot closed 6 months ago
9
Fix typo

#28 jariji closed 7 months ago
0
[Doc]: Separate public interface from internals

#27 jariji closed 7 months ago
1
Meta-Issue for the road to release

#19 Seelengrab closed 7 months ago
0
Be smarter about `Overrun`

#18 Seelengrab opened 7 months ago
0
Provide a way to configure the maximum allowed number of choices through `CheckConfig`

#17 Seelengrab closed 7 months ago
0
Align test summary column headers with columns

#16 jariji closed 7 months ago
0
Add a docstring for submodule `Supposition.Data`

#15 jariji closed 7 months ago
0
Support `BigFloat`/`BigInt`?

#14 jariji closed 7 months ago
1
Have `@composed` assign its `Possibility` to the function name

#13 jariji closed 7 months ago
3
Rename `assume!` to `assume`

#12 jariji closed 7 months ago
4
`Data.recursive` is mentioned but not documented

#11 jariji closed 7 months ago
1
Support giving a `minimum` & `maximum` to `Data.Floats`

#10 Seelengrab closed 7 months ago
0
Provide a way to set a global default configuration for `@check`

#9 Seelengrab closed 7 months ago
0
Allow more than one target score to be tracked

#8 Seelengrab closed 7 months ago
0
A `Possibility` for generating arbitrary `T`

#7 Seelengrab closed 7 months ago
0
Implement a proper interface for stateful fuzzing

#6 Seelengrab closed 7 months ago
0
Fancier report printing

#5 Seelengrab closed 7 months ago
0
Better generation of `Data.Vector`s

#4 Seelengrab closed 7 months ago
2
Implement support for custom shrinkers

#3 Seelengrab closed 7 months ago
1
Default-argument syntax ambiguity

#2 jariji closed 7 months ago
3
Rename data generators from plural to singular

#1 jariji closed 7 months ago
1