Dearbitrary - #187

Draft

tristan-f-r wants to merge 7 commits into

rust-fuzz:mainfrom

tristan-f-r:dearbitrary

Commits on Jul 26, 2024

feat: initial dearbitrary trait
tristan-f-r
committed
4058174

Commits on Aug 2, 2024

feat(dearbitrary): implement base len support
tristan-f-r
committed
37a8054

Commits on Aug 3, 2024

test: setup kani
tristan-f-r
committed
55f058c

Commits on Aug 4, 2024

test: kani
tristan-f-r
committed
e3209bb
test(kani): lossless, nonzero
tristan-f-r
committed
257bddf
docs: document UnstructuredBuilder functions
tristan-f-r
committed
3da01a7
chore: add kani to allowed cfgs
tristan-f-r
committed
63fb598