Code

Dearbitrary#187

Code

Draft

LeoDog896 wants to merge 7 commits intorust-fuzz:mainrust-fuzz/arbitrary:mainfrom LeoDog896:dearbitraryLeoDog896/arbitrary:dearbitraryCopy head branch name to clipboard

+1,172-156

Commits

Commits on Jul 26, 2024

• feat: initial dearbitrary trait

  LeoDog896

  committed
  4058174

  Copy full SHA for 4058174

Commits on Aug 2, 2024

• feat(dearbitrary): implement base len support

  LeoDog896

  committed
  37a8054

  Copy full SHA for 37a8054

Commits on Aug 3, 2024

• test: setup kani

  LeoDog896

  committed
  55f058c

  Copy full SHA for 55f058c

Commits on Aug 4, 2024

• test: kani

  LeoDog896

  committed
  e3209bb

  Copy full SHA for e3209bb

• test(kani): lossless, nonzero

  LeoDog896

  committed
  257bddf

  Copy full SHA for 257bddf

• docs: document UnstructuredBuilder functions

  LeoDog896

  committed
  3da01a7

  Copy full SHA for 3da01a7

• chore: add kani to allowed cfgs

  LeoDog896

  committed
  63fb598

  Copy full SHA for 63fb598